src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Aug 15 23:07:22 2010 +0200
+++ b/src/Pure/build-jars	Sun Aug 15 23:13:56 2010 +0200
@@ -39,11 +39,11 @@
   Isar/token.scala
   PIDE/command.scala
   PIDE/document.scala
-  PIDE/event_bus.scala
   PIDE/markup_node.scala
   PIDE/text.scala
   System/cygwin.scala
   System/download.scala
+  System/event_bus.scala
   System/gui_setup.scala
   System/isabelle_process.scala
   System/isabelle_syntax.scala