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

Dale Anson via jEdit-devel <[email protected]>
Newsgroups gmane.editors.jedit.devel
Message-ID </p/jedit/plugin-bugs/1922/d5acf381030cf74e602158357ec3e846fbc3ce66.plugin-bugs@jedit.p.sourceforge.net>
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?


---

** [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 04:15 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.