switch_java_version function