diff -r c4e2762a265c -r 954d1c94f55f src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Oct 01 20:17:30 2012 +0200
+++ b/src/Pure/build-jars	Mon Oct 01 20:35:09 2012 +0200
@@ -30,7 +30,6 @@
   Isar/outer_syntax.scala
   Isar/parse.scala
   Isar/token.scala
-  PIDE/blob.scala
   PIDE/command.scala
   PIDE/document.scala
   PIDE/isabelle_markup.scala