src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Dec 23 21:15:26 2015 +0100
+++ b/src/Pure/build-jars	Wed Dec 23 23:09:13 2015 +0100
@@ -28,7 +28,6 @@
   General/antiquote.scala
   General/bytes.scala
   General/completion.scala
-  General/exn.scala
   General/file.scala
   General/graph.scala
   General/graph_display.scala
@@ -72,9 +71,10 @@
   PIDE/text.scala
   PIDE/xml.scala
   PIDE/yxml.scala
+  RAW/exn.scala
   ROOT.scala
+  System/command_line.scala
   System/cygwin.scala
-  System/command_line.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala
   System/isabelle_process.scala