src/Pure/build-jars

--- a/src/Pure/build-jars	Sat Feb 22 20:52:43 2014 +0100
+++ b/src/Pure/build-jars	Sat Feb 22 20:56:50 2014 +0100
@@ -15,6 +15,7 @@
   Concurrent/volatile.scala
   General/antiquote.scala
   General/bytes.scala
+  General/completion.scala
   General/exn.scala
   General/file.scala
   General/graph.scala
@@ -39,7 +40,6 @@
   GUI/swing_thread.scala
   GUI/system_dialog.scala
   GUI/wrap_panel.scala
-  Isar/completion.scala
   Isar/keyword.scala
   Isar/outer_syntax.scala
   Isar/parse.scala