# HG changeset patch
# User wenzelm
# Date 1700606122 -3600
# Node ID 3befd4d1e6f2e994e828aba8ed2fc4f366a9b366
# Parent  f318399a9fb62553d76a651423965aba192ab81d
proper build with jdk-21 (amending 4fb5e6499da9);

diff -r f318399a9fb6 -r 3befd4d1e6f2 src/Tools/GraphBrowser/etc/build.props
--- a/src/Tools/GraphBrowser/etc/build.props	Mon Nov 20 22:17:42 2023 +0100
+++ b/src/Tools/GraphBrowser/etc/build.props	Tue Nov 21 23:35:22 2023 +0100
@@ -1,6 +1,6 @@
 title = graph browser
 module = $ISABELLE_HOME/lib/classes/isabelle_graphbrowser.jar
-javac_options = -source 7 -target 7
+javac_options = -source 8 -target 8
 sources = \
   awt/Border.java \
   awt/MessageDialog.java \