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