Recent changes to 1922: Vimulator plugin wants Java 15 or up, but upgrading Java didn't help

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

TFH — Mon, 17 Oct 2022 00:29:02 -0000

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

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

TFH — Sun, 16 Oct 2022 23:51:16 -0000

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:

/bin/sh

. /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?

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

Dale Anson — Sun, 16 Oct 2022 20:32:07 -0000

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?

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

TFH — Sun, 16 Oct 2022 16:15:17 -0000

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.