src/Tools/Graphview/lib/Tools/graphview

 
 ## sources
 
 declare -a SOURCES=(
   "src/floating_dialog.scala"
-  "src/frame.scala"
   "src/graph_panel.scala"
+  "src/graphview.scala"
   "src/layout_pendulum.scala"
   "src/main_panel.scala"
   "src/model.scala"
   "src/mutator_dialog.scala"
   "src/mutator_event.scala"

     mv -f "$GRAPH_FILE" "$PRIVATE_FILE" || fail "Cannot move file: $GRAPH_FILE"
   else
     cp -f "$GRAPH_FILE" "$PRIVATE_FILE" || fail "Cannot copy file: $GRAPH_FILE"
   fi
 
-  "$ISABELLE_TOOL" java $GRAPHVIEW_JAVA_OPTIONS isabelle.graphview.Frame "$PRIVATE_FILE"
+  "$ISABELLE_TOOL" java $GRAPHVIEW_JAVA_OPTIONS isabelle.graphview.Graphview "$PRIVATE_FILE"
   RC="$?"
 
   rm -f "$PRIVATE_FILE"
   echo "$RC"
 fi