From feedfa893cba56b6e47f6cff193cd5d0cb6093eb Mon Sep 17 00:00:00 2001
From: brutzman <brutzman@nps.edu>
Date: Sun, 14 Jul 2024 17:56:37 -0700
Subject: [PATCH] java.release property
---
assignments/build.xml | 1 +
examples/build.xml | 1 +
2 files changed, 2 insertions(+)
diff --git a/assignments/build.xml b/assignments/build.xml
index 8a99b37b65..9e4bb3fa92 100644
--- a/assignments/build.xml
+++ b/assignments/build.xml
@@ -132,6 +132,7 @@ POSSIBILITY OF SUCH DAMAGE.
<!-- ensure backwards compatibility of produced jar to specified version of Java, though project itself may be higher -->
<property name="java.source" value="17"/><!-- LTS -->
<property name="java.target" value="17"/><!-- LTS -->
+ <property name="java.release" value="17"/><!-- LTS --><!-- simpler, less verbose than -source -target -->
<property name="dist.javadoc.dir" value="dist/javadoc"/>
<property name="javadoc.additionalparam" value=""/>
diff --git a/examples/build.xml b/examples/build.xml
index 0bfff43bcf..3490a45977 100644
--- a/examples/build.xml
+++ b/examples/build.xml
@@ -136,6 +136,7 @@ POSSIBILITY OF SUCH DAMAGE.
<!-- ensure backwards compatibility of produced jar to specified version of Java, though project itself may be higher -->
<property name="java.source" value="17"/><!-- LTS -->
<property name="java.target" value="17"/><!-- LTS -->
+ <property name="java.release" value="17"/><!-- LTS --><!-- simpler, less verbose than -source -target -->
<property name="dist.javadoc.dir" value="dist/javadoc"/>
<property name="javadoc.additionalparam" value=""/>
--
GitLab