| changeset 74737 | d912c1b6c1d0 |
| parent 74659 | f1c53e78d0f0 |
| child 74830 | 40bb5f41e06c |
--- 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 =