[ jEdit-users ] Changing the JDK used by jEdit

[James <gen...@gm...>]

Hi

For the life of me I can't find how to change what JDK is used by jEdit.
Please could somebody give me some guidance on that.

I'm using Windows 10 with the Windows launcher (jedit.exe), and I recently
installed JDK 9 early access because it resolves an issue with "slow screen
painting" due to the Fira Code font I'm using.

thanks