diff -r 60ba93d8f9e5 -r aa1adeca714b src/Tools/jEdit/src/dockables.xml
--- a/src/Tools/jEdit/src/dockables.xml	Tue Feb 18 18:51:03 2014 +0100
+++ b/src/Tools/jEdit/src/dockables.xml	Tue Feb 18 19:00:13 2014 +0100
@@ -41,7 +41,7 @@
 	<DOCKABLE NAME="isabelle-symbols" MOVABLE="TRUE">
 		new isabelle.jedit.Symbols_Dockable(view, position);
 	</DOCKABLE>
-	<DOCKABLE NAME="isabelle-simp-trace" MOVABLE="TRUE">
+	<DOCKABLE NAME="isabelle-simplifier-trace" MOVABLE="TRUE">
 		new isabelle.jedit.Simplifier_Trace_Dockable(view, position);
 	</DOCKABLE>
 </DOCKABLES>