Allow passing JVM argsto javac in ScipBuildTool#728

antonsviridov-src merged 5 commits intomainsourcegraph/scip-java:mainfrom

graph-788-scip-java-and-jdk-17-issuesourcegraph/scip-java:graph-788-scip-java-and-jdk-17-issueCopy head branch name to clipboard