#1922 Vimulator plugin wants Java 15 or up, but upgrading Java didn't help

[TFH]

Running Ubuntu 18.04.1 and jedit 5.5.0.
With latest Vimulator.jar in $JEDIT/jars directory, I get the following error message on startup:
"Requires Java 15 or later, but you only have version 11.0.16."
Downloaded and installed openjdk-17-jre, and when I type "java --version" it finds it, but jedit still gives the same error message.
Posted this question as an issue on Vimulator's gitub page, and was told this isn't their problem.
Please advise.

[Dale Anson]

That message means that jEdit is running on java 11. You'll need to get jEdit running on java 17, then the plugin should work. How are you starting jEdit?

[TFH]

I am starting jedit by typing "jedit" at the command line prompt. That resolves to "/usr/bin/jedit," which is a symbolic link to /usr/share/jedit/jedit.sh, which reads as:

. /usr/lib/java-wrappers/java-wrappers.sh

find_java_runtime java8

find_jars /usr/share/jedit/jedit.jar

run_java org.gjt.sp.jedit.jEdit "$@"

I don't know why it's asking for java8 but jedit says it's running on java11.
But in any case I just installed jedit 5.5.0 from the standard Ubuntu repository via apt-get.

So, how do I get "jEdit running on java 17" now that I've installed the latter?

[TFH]

Nevermind; I uninstalled 5.5.0 and installed 5.6.0 directly from jedit.org and now it works.