On Windows you should be able to tell the jedit launcher which version of the java jre should be used. This should be a command line option or an option you can put in the jedit.l4j.ini file. Asking the end-user to re-install jedit on Windows so that some later version of the jre be used is retrograde. Java will notify the user on Windows when a new java jre is available for installation and, after such an installation, it should not be necessary to re-install jedit just to have it use the new jre.
Submitted | eldienerlee - 2016-10-30 12:16:40.113000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | v5.4 |
Resolution | None |