upgrade to java 17

opencaesar · Jul 9, 2024 · 778a947 · 778a947
1 parent af2bb73
commit 778a947
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 15 deletions.
diff --git a/build.gradle b/build.gradle
@@ -30,8 +30,8 @@ subprojects {
 	apply plugin: 'idea'
 	apply from: "${rootDir}/gradle/maven-deployment.gradle"
 
-	sourceCompatibility = '11'
-	targetCompatibility = '11'
+	sourceCompatibility = '17'
+	targetCompatibility = '17'
 
 	java {
 	    withJavadocJar()

diff --git a/owl-doc-gradle/build.gradle b/owl-doc-gradle/build.gradle
@@ -7,6 +7,3 @@ dependencies {
  	implementation "xml-resolver:xml-resolver:${versions.xmlresolver}"
  	implementation "commons-io:commons-io:${versions.commonsIo}"
 }
-
-sourceCompatibility = '17'
-targetCompatibility = '17'
diff --git a/owl-doc/build.gradle b/owl-doc/build.gradle
@@ -17,8 +17,4 @@ dependencies {
 	implementation "org.jsoup:jsoup:${versions.jsoup}"
 	implementation "org.jgrapht:jgrapht-core:${versions.jgrapht}"
 
- }
-
-sourceCompatibility = '17'
-targetCompatibility = '17'
-
+ } 
diff --git a/owl-reason-gradle/src/main/java/io/opencaesar/owl/reason/OwlReasonTask.java b/owl-reason-gradle/src/main/java/io/opencaesar/owl/reason/OwlReasonTask.java
@@ -276,7 +276,7 @@ public void run() {
 			args.add("-n");
 			args.add(getIndent().get().toString());
 		}
-		if (getOmitExplanations().get()) {
+		if (getOmitExplanations().isPresent() && getOmitExplanations().get()) {
 			args.add("-oe");
 		}
 		if (getDebug().isPresent() && getDebug().get()) {

diff --git a/owl-reason/src/main/java/io/opencaesar/owl/reason/OwlReasonApp.java b/owl-reason/src/main/java/io/opencaesar/owl/reason/OwlReasonApp.java
@@ -244,10 +244,10 @@ private static class Options {
 		private boolean debug;
 
 		@Parameter(
-				names = {"--omit-explanations", "-oe"},
-				description = "Omit explanations of inconsistency and unsatisfiability",
-				order = 15)
-			private boolean omitExplanations = false;
+			names = {"--omit-explanations", "-oe"},
+			description = "Omit explanations of inconsistency and unsatisfiability",
+			order = 15)
+		private boolean omitExplanations = false;
 
 		@Parameter(
 			names = {"--help", "-h"},