`./run.sh: line 30: jre/bin/java: No such file or directory`

Description:

Installing protege (5.6.4-1) then trying to run protege from the command line, I get this error:

> protege
./run.sh: line 30: jre/bin/java: No such file or directory
[127]> which java
/usr/bin/java
> archlinux-java status
Available Java environments:
  java-11-openjdk
  java-17-openjdk
  java-21-openjdk (default)

From reading /usr/share/java/protege/run.sh it seems like this is because $JAVA_HOME isn’t set.

Additional info:

  • package version(s): protege-5.6.4-1
  • config and/or log files: see above
  • link to upstream bug report, if any: I didn’t find anything relevant.

Steps to reproduce:

  1. pacman -S protege
  2. protege