src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Mar 18 16:45:14 2014 +0100
+++ b/src/Pure/build-jars	Tue Mar 18 17:39:03 2014 +0100
@@ -53,6 +53,7 @@
   PIDE/markup_tree.scala
   PIDE/protocol.scala
   PIDE/query_operation.scala
+  PIDE/resources.scala
   PIDE/text.scala
   PIDE/xml.scala
   PIDE/yxml.scala
@@ -73,7 +74,6 @@
   Thy/present.scala
   Thy/thy_header.scala
   Thy/thy_info.scala
-  Thy/thy_load.scala
   Thy/thy_syntax.scala
   Tools/build.scala
   Tools/doc.scala