src/Tools/jEdit/plugin/services.xml

when jEdit is run from Netbeans, activate=defer does not work (why?)

<?xml version="1.0"?>
<!DOCTYPE SERVICES SYSTEM "services.dtd">
<SERVICES>
	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
		new isabelle.jedit.IsabelleSideKickParser();
	</SERVICE>
	<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
		new isabelle.jedit.VFS();
	</SERVICE>
</SERVICES>