src/Tools/jEdit/plugin/dockables.xml

added application.args (Why does it end up in pricate properties?);

<?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>