option to set JDK version