Ubuntu
jedit package

  1. Bug #1154951
  2. Comment #5

Comment 5 for bug 1154951

Revision history for this message
vexorian (vexorian) wrote :

I downloaded the .deb package from jEdit's website, it installs without OpenJDK 6, as an added bonus, it is a newer version.