src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Mar 03 21:35:16 2016 +0100
+++ b/src/Pure/build-jars	Thu Mar 03 21:59:21 2016 +0100
@@ -28,6 +28,7 @@
   General/antiquote.scala
   General/bytes.scala
   General/completion.scala
+  General/exn.scala
   General/file.scala
   General/graph.scala
   General/graph_display.scala
@@ -71,7 +72,6 @@
   PIDE/text.scala
   PIDE/xml.scala
   PIDE/yxml.scala
-  RAW/exn.scala
   ROOT.scala
   System/command_line.scala
   System/cygwin.scala