# HG changeset patch
# User wenzelm
# Date 1524217449 -7200
# Node ID 9096895dc2a65607a5d30a6d36658e7b0cedb687
# Parent  7a30a3cc27637ae7671f2876ef55d6846f332640
minimal Java source version for jdk-10.0.1;

diff -r 7a30a3cc2763 -r 9096895dc2a6 lib/browser/build
--- a/lib/browser/build	Fri Apr 20 11:41:09 2018 +0200
+++ b/lib/browser/build	Fri Apr 20 11:44:09 2018 +0200
@@ -63,7 +63,7 @@
 
   rm -rf classes && mkdir classes
 
-  isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
+  isabelle_jdk javac -d classes -source 1.6 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
   isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
     fail "Failed to produce $TARGET"