src/Pure/System/download.scala
2010-05-05 wenzelm 2010-05-05 some rearrangement of Scala sources;