--- a/src/Pure/build-jars Fri Apr 25 12:51:08 2014 +0200
+++ b/src/Pure/build-jars Fri Apr 25 12:56:24 2014 +0200
@@ -64,7 +64,6 @@
PIDE/xml.scala
PIDE/yxml.scala
System/command_line.scala
- System/event_bus.scala
System/interrupt.scala
System/invoke_scala.scala
System/isabelle_charset.scala