# HG changeset patch
# User wenzelm
# Date 1636453238 -3600
# Node ID d912c1b6c1d03c54cf628b63a3dc59be5d853d84
# Parent  df4449c6eff14ecb59dd32e9ad8bb8f73653f1f6
proper java_version for isabelle_setup;

diff -r df4449c6eff1 -r d912c1b6c1d0 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Mon Nov 08 20:26:16 2021 +0100
+++ b/src/Pure/Tools/scala_project.scala	Tue Nov 09 11:20:38 2021 +0100
@@ -12,7 +12,7 @@
 {
   /* Maven project */
 
-  def java_version: String = "11"
+  def java_version: String = "15"
   def scala_version: String = scala.util.Properties.versionNumberString
 
   def maven_project(jars: List[Path]): String =