Buildfile improvements

Makefile

@@ -724,6 +724,11 @@ daikon.tar daikon.zip: kvasir ${README_PATHS} ${DAIKON_JAVA_FILES} java/Makefile
 	cp -pf ${TMPDIR}/${NEW_RELEASE_NAME}.zip .
 
 
+# Always delegate to the other Makefile.
+.PHONY: java/ChicoryPremain.jar
+java/ChicoryPremain.jar:
+	${MAKE} -C java ChicoryPremain.jar
+
 ### Front end binaries
 
 ## (empty for now)

java/Makefile

@@ -63,6 +63,7 @@ endif
 OS_ID := $(shell sed -n -e 's/^NAME="\(.*\)"/\1/p' /etc/os-release)
 OS_REL := $(shell sed -n -e 's/^VERSION_ID="\(.*\)"/\1/p' /etc/os-release)
 
+## TODO: It would be better to use "-target 8" for all files EXCEPT those ending in "24.java".
 # Users can set JAVAC_TARGET_FLAGS, taking precedence over these settings.
 # Use "--source 25 --target 25" because Java 25 is an LTS version.
 ifeq (${JAVA25}, 1)

java/daikon/dcomp/BuildJDK.java

@@ -502,7 +502,7 @@ private void instrumentClassFile(
     _numFilesProcessed++;
     if (((_numFilesProcessed % 100) == 0) && (System.console() != null)) {
       System.out.printf(
-          "Processed %d/%d classes at %s%n",
+          "Note: Processed %d/%d classes at %s%n",
           _numFilesProcessed,
           classTotal,
           LocalDateTime.now(ZoneId.systemDefault()).format(timeFormatter));

tests/sources/junit/framework/TestResult.java

@@ -119,6 +119,7 @@ public synchronized int runCount() {
 	/**
 	 * Runs a TestCase.
 	 */
+        @SuppressWarnings("removal")
 	public void runProtected(final Test test, Protectable p) {
 		try {
 			p.protect();