Comment 6 for bug 347308

Revision history for this message
Colin Law (colin-law) wrote :

I can also confirm that using Sun Java fixed it for me. I thought I was using Sun Java as Help > About in jEdit says Sun Microsystems Java, but it says this both for Sun and openjdk. To check which version is *actually* being used then install the Console plugin in jEdit using the plugin manager, if not already installed. Then, in the combo-box on the top left of the Console dockable window, select "BeanShell", and type the following command:
System.getProperty("java.vm.name")

For Sun java this gives Java HotSpot(TM) Client VM
For OpenJDK it gives OpenJDK Client VM