build: remove jacamo default toolchain

AndreaGiulianelli · AndreaGiulianelli · commit 63cd68da28f3 · 2023-03-19T15:13:30.000+01:00
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -42,12 +42,6 @@ tasks.withType<Test> {
     }
 }
 
-java {
-    toolchain {
-        languageVersion.set(JavaLanguageVersion.of(15))
-    }
-}
-
 sourceSets.getByName("main") {
     java.srcDir("src/env")
     java.srcDir("src/agt")

Original file line number	Diff line number	Diff line change
`@@ -42,12 +42,6 @@ tasks.withType<Test> {`
`42`	`42`	`}`
`43`	`43`	`}`
`44`	`44`
`45`		`-java {`
`46`		`- toolchain {`
`47`		`- languageVersion.set(JavaLanguageVersion.of(15))`
`48`		`- }`
`49`		`-}`
`50`		`-`
`51`	`45`	`sourceSets.getByName("main") {`
`52`	`46`	`java.srcDir("src/env")`
`53`	`47`	`java.srcDir("src/agt")`