src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Aug 15 21:03:13 2010 +0200
+++ b/src/Pure/build-jars	Sun Aug 15 21:42:13 2010 +0200
@@ -41,7 +41,7 @@
   PIDE/document.scala
   PIDE/event_bus.scala
   PIDE/markup_node.scala
-  PIDE/text_edit.scala
+  PIDE/text.scala
   System/cygwin.scala
   System/download.scala
   System/gui_setup.scala