java - update javac options

Author: pareronia

Makefile

@@ -35,7 +35,7 @@ CLITEST := clitest
 PYTHON_CMD := python -O
 PYTHON_UNITTEST_CMD := -m unittest discover -s $(PYTHON_TEST_ROOT)
 JAVA_CMD := $(JAVA_EXE) -ea
-JAVAC_CMD := $(JAVAC_EXE) -encoding utf-8
+JAVAC_CMD := $(JAVAC_EXE) -encoding utf-8 -proc:only
 JAVA_UNITTEST_CMD := org.junit.platform.console.ConsoleLauncher
 JULIA_CMD := julia --optimize
 CARGO_CMD := cargo