> 1. Only one way to configure default Java globally.
> 2. Support for overriding the default Java for a user.
> 3. Support for overriding the Java version used for an application globally.
> 4. Support for overriding the Java version used for an application for a user.
> 5. Mechanism on (1) should
OK, I filled this bug (and the patch), and also filled other bugs
related to Java support. For example:
https://bugs.launchpad.net/ubuntu/+source/java-common/+bug/45348 ->
update-java-alternatives does not change the JAVA_HOME
In both cases I've proposed a solution to fix the problem. In this
par
