--- a/src/Pure/build-jars Thu Aug 12 13:49:08 2010 +0200
+++ b/src/Pure/build-jars Thu Aug 12 13:59:18 2010 +0200
@@ -42,7 +42,6 @@
PIDE/document.scala
PIDE/event_bus.scala
PIDE/markup_node.scala
- PIDE/state.scala
PIDE/text_edit.scala
System/cygwin.scala
System/download.scala