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.
Log in to post a comment.