# HG changeset patch
# User wenzelm
# Date 1608677985 -3600
# Node ID adda33fdb5d04f8f334b13f5e28a67990e96cbc5
# Parent  c78d1dfc65710169c4b5e70798e850bd2ff6a8e4
support jdk-15;

diff -r c78d1dfc6571 -r adda33fdb5d0 lib/browser/build
--- a/lib/browser/build	Tue Dec 22 15:49:22 2020 +0100
+++ b/lib/browser/build	Tue Dec 22 23:59:45 2020 +0100
@@ -63,7 +63,7 @@
 
   rm -rf classes && mkdir classes
 
-  isabelle_jdk javac -d classes -source 1.6 "${SOURCES[@]}" || \
+  isabelle_jdk javac -d classes -source 7 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
   isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
     fail "Failed to produce $TARGET"