JPM/TJ: build.sh uses javac7