Java version explicitly set