java: synchronize jdk_switcher.sh with upstream