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