Eradicate use of sudo from jdk_switcher_rc

Instead of `update-java-alternative`, manage `$JAVA_HOME` and `$PATH` ourselves so that we can switch JDK versions without `sudo`.