sudo update-alternatives --config java
Ну, это же, конечно же, я нагуглил. Но ведь когда работают обычные юзеры, то им нужен пароль. Поэтому я рассматриваю сейчас способ запуска с нужной Джавой одной командой, независимо от того, какая Джава стоит по умолчанию. Команда вида:
/usr/lib/jvm/java-8-openjdk-amd64/bin/java -jar /media/student/9478C72478C703C8/Install/Protege_3.5/protege.jar
Только неудобство во всей этой хрени в том, и в другом тоже, что непонятно как сделать для этого ярлык или десктоп-файл, или что-то ещё, чтоб запускать всю эту галиматью одним щелчком