История изменений

чтобы /usr/bin/java (а также множество других ссылок) вело на новый каталог с Java

каталог с Java не изменился - как был /opt/jdk, так и остался

JAVA_HOME, JDK_HOME, IDEA_JDK - тоже указывают на /opt/jdk

а $JAVA_HOME/bin добавлено в PATH еще в /etc/profile

такшто менять ничего не нужно, только переключить симлинк

та же система с мавеном, антом и прочими частями жава-платформы

(олсо, IRL нам вообще не нужна дефолтная жава, т.к. обычно в программах все равно нужно вручную указывать путь до JDK, но это уже совсем придирки)

или ты утверждаешь, что некие норкоманы игнорят PATH, игнорят JAVA_HOME, и делают хардлинки напрямую на /opt/java/bin/java? Вообще, им дорога в /dev/null, но хотелось бы услышать имена этих героев

чтобы /usr/bin/java (а также множество других ссылок) вело на новый каталог с Java

каталог с Java не изменился - как был /opt/jdk, так и остался

JAVA_HOME, JDK_HOME - тоже указывают на /opt/jdk

а $JAVA_HOME/bin добавлено в PATH еще в /etc/profile

такшто менять ничего не нужно, только переключить симлинк

или ты утверждаешь, что некие норкоманы игнорят PATH, игнорят JAVA_HOME, и делают хардлинки напрямую на /opt/java/bin/java? Вообще, им дорога в /dev/null, но хотелось бы услышать имена этих героев