Specified Java version