Function save_java_env

ci/tasks/java.py:123–128

()

def save_java_env():
    return {
        "JAVA_HOME": os.environ.get("JAVA_HOME"),
        "PATH": os.environ.get("PATH"),
        "JDK_JAVA_OPTIONS": os.environ.get("JDK_JAVA_OPTIONS"),
    }


def restore_java_env(env):