only control JDK version
other options are controlled inside .jj grammar file