notes on update-alternatives for JDK installation when a previous JVM exists