src/Tools/jEdit/dist-template/lib/Tools/jedit

   echo "Usage: isabelle $PRG [OPTIONS] [FILES ...]"
   echo
   echo "  Options are:"
   echo "    -J OPTION    add JVM runtime option"
   echo "                 (default JEDIT_JAVA_OPTIONS=$JEDIT_JAVA_OPTIONS)"
+  echo "    -d           enable debugger"
   echo "    -j OPTION    add jEdit runtime option"
   echo "                 (default JEDIT_OPTIONS=$JEDIT_OPTIONS)"
   echo "    -l NAME      logic image name (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
   echo "    -m MODE      add print mode for output"
   echo

 JEDIT_PRINT_MODE=""
 
 declare -a JAVA_OPTIONS; eval "JAVA_OPTIONS=($JEDIT_JAVA_OPTIONS)"
 declare -a OPTIONS; eval "OPTIONS=($JEDIT_OPTIONS)"
 
-while getopts "J:j:l:m:" OPT
+while getopts "J:dj:l:m:" OPT
 do
   case "$OPT" in
     J)
       JAVA_OPTIONS["${#JAVA_OPTIONS[@]}"]="$OPTARG"
+      ;;
+    d)
+      JAVA_OPTIONS["${#JAVA_OPTIONS[@]}"]="-Xdebug"
+      JAVA_OPTIONS["${#JAVA_OPTIONS[@]}"]="-Xrunjdwp:transport=dt_socket,server=y,suspend=n"
       ;;
     j)
       OPTIONS["${#OPTIONS[@]}"]="$OPTARG"
       ;;
     l)