src/Tools/jEdit/plugin/Isabelle.props

--- a/src/Tools/jEdit/plugin/Isabelle.props	Wed Dec 30 21:57:29 2009 +0100
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Thu Dec 31 00:38:15 2009 +0100
@@ -26,6 +26,7 @@
 options.isabelle.logic.title=Logic
 options.isabelle.font-size.title=Font Size
 options.isabelle.font-size=14
+options.isabelle.startup-timeout=10000
 
 #menu actions
 plugin.isabelle.jedit.Plugin.menu.label=Isabelle