src/Tools/jEdit/lib/Tools/jedit

--- a/src/Tools/jEdit/lib/Tools/jedit	Sun Jun 12 16:19:29 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Jun 12 20:08:49 2011 +0200
@@ -23,6 +23,7 @@
   "src/raw_output_dockable.scala"
   "src/scala_console.scala"
   "src/session_dockable.scala"
+  "src/text_painter.scala"
 )
 
 declare -a RESOURCES=(