Ubuntu
jedit package

  1. Bug #347308
  2. Comment #7

Comment 7 for bug 347308

Revision history for this message
Steve Ward (planet36) wrote :

RodrigoMoraes,

This page <https://help.ubuntu.com/community/Java> has some good info on changing the default Java to use (without uninstalling OpenJDK).
Although, you would still have to set JAVA_HOME to make jedit use the Sun JVM until #681936 <https://bugs.launchpad.net/ubuntu/+source/jedit/+bug/681936> is fixed.