config option to set JDK version