diff -r b7c15885fd1e -r ddefd18d5ed0 src/Pure/System/system_dialog.scala
--- a/src/Pure/System/system_dialog.scala	Sat Sep 07 15:28:16 2013 +0200
+++ b/src/Pure/System/system_dialog.scala	Sat Sep 07 16:33:10 2013 +0200
@@ -11,7 +11,7 @@
 import javax.swing.WindowConstants
 
 import scala.swing.{ScrollPane, Button, CheckBox, FlowPanel,
-  BorderPanel, Frame, TextArea, SwingApplication, Component, Label}
+  BorderPanel, Frame, TextArea, Component, Label}
 import scala.swing.event.ButtonClicked