Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Commands should run from the semantics root directory.

If Java 8 11 is not your default java command prepend the following command (Linux) to set the java version: JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
Hence it may look like: JAVA_HOME=/your/path/to/java mvn -f build/pom ...