use JEDIT_OPTIONS only once (in isabelle.Main.start_jedit);

--- a/src/Tools/jEdit/lib/Tools/jedit	Fri Sep 06 21:13:19 2013 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Sep 06 21:28:07 2013 +0200
@@ -171,7 +171,7 @@
 
 declare -a JAVA_ARGS; eval "JAVA_ARGS=($JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS)"
 
-declare -a ARGS; eval "ARGS=($JEDIT_OPTIONS)"
+declare -a ARGS=()
 
 declare -a OPTIONS; eval "OPTIONS=($ISABELLE_JEDIT_OPTIONS)"
 getoptions "${OPTIONS[@]}"