original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
<ACTIONS>
<ACTION NAME="Isabelle.show-output">
<CODE>
wm.addDockableWindow("Isabelle_output");
</CODE>
</ACTION>
<ACTION NAME="Isabelle.show-state">
<CODE>
wm.addDockableWindow("Isabelle_state");
</CODE>
</ACTION>
<ACTION NAME="Isabelle.activate">
<CODE>
isabelle.jedit.Plugin$.MODULE$.plugin().activate(view);
</CODE>
<IS_SELECTED>
return view.getBuffer().getMode().getName() == "isabelle";
</IS_SELECTED>
</ACTION>
</ACTIONS>