This release adds two configuration options for bencher functionality that relies on executing Java processes internally, i.e., the dynamic coverage extractors (JacocoDC and JavaCallgraphDC) and the JarBenchFinder:
- use a different Java version than the one bencher is run with (by using a different JAVA_HOME)
- add JVM arguments to the process running the benchmark JARs and the JVM forks
Both functionalities can be set through the API or the CLI (with --java-home and --jvm-args).