Recent changes to 526: Java launcher should be updated so that jre can be specifiedhttps://sourceforge.net/p/jedit/feature-requests/526/Recent changes to 526: Java launcher should be updated so that jre can be specifiedenSun, 30 Oct 2016 12:16:40 -0000Java launcher should be updated so that jre can be specifiedhttps://sourceforge.net/p/jedit/feature-requests/526/<div class="markdown_content"><p>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.</p></div>Edward DienerSun, 30 Oct 2016 12:16:40 -0000https://sourceforge.netc2757896161c43f7f7b1d0b99f941efcdf2d4966