[jedit:plugin-bugs] Re: #1922 Vimulator plugin wants Java 15 or up, but upgrading Java didn't help

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?


---

** [plugin-bugs:#1922] Vimulator plugin wants Java 15 or up, but upgrading Java didn't help**

**Status:** open
**Group:** 
**Created:** Sun Oct 16, 2022 04:15 PM UTC by TFH
**Last Updated:** Sun Oct 16, 2022 08:32 PM UTC
**Owner:** nobody


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.



---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel