original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
<?xml version="1.0"?>
<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
<DOCKABLES>
<DOCKABLE NAME="Isabelle_output">
new isabelle.jedit.OutputDockable(view, position);
</DOCKABLE>
<DOCKABLE NAME="Isabelle_state">
new isabelle.jedit.StateViewDockable(view, position);
</DOCKABLE>
</DOCKABLES>