/jpl/get_jdk/