--- a/src/Pure/build-jars Tue Sep 29 23:43:35 2015 +0200
+++ b/src/Pure/build-jars Wed Sep 30 14:32:26 2015 +0200
@@ -24,7 +24,6 @@
GUI/html5_panel.scala
GUI/jfx_gui.scala
GUI/popup.scala
- GUI/system_dialog.scala
GUI/wrap_panel.scala
General/antiquote.scala
General/bytes.scala