src/Tools/jEdit/lib/Tools/jedit

 
 # options
 
 BUILD_ONLY=false
 BUILD_JARS="jars"
-FRESH_OPTION=""
 JEDIT_SESSION_DIRS=""
 JEDIT_LOGIC="$ISABELLE_LOGIC"
 JEDIT_PRINT_MODE=""
 
 function getoptions()

         else
           JEDIT_SESSION_DIRS="$JEDIT_SESSION_DIRS:$OPTARG"
         fi
         ;;
       f)
-        FRESH_OPTION="-f"
         BUILD_JARS="jars_fresh"
         ;;
       j)
         ARGS["${#ARGS[@]}"]="$OPTARG"
         ;;

 fi
 
 
 ## dependencies
 
-[ -e "$ISABELLE_HOME/Admin/build" ] && \
-  {
+if [ -e "$ISABELLE_HOME/Admin/build" ]; then
+  if [ "$BUILD_JARS" = jars_fresh ]; then
+    "$ISABELLE_TOOL" graphview -b -f || exit $?
+  else
     "$ISABELLE_HOME/Admin/build" "$BUILD_JARS" || exit $?
-    "$ISABELLE_TOOL" graphview -b $FRESH_OPTION || exit $?
-  }
+    "$ISABELLE_TOOL" graphview -b || exit $?
+  fi
+fi
 
 PURE_JAR="$ISABELLE_HOME/lib/classes/ext/Pure.jar"
 GRAPHVIEW_JAR="$ISABELLE_HOME/lib/classes/ext/Graphview.jar"
 
 pushd "$JEDIT_HOME" >/dev/null || failed