jedit package depends on Java 6 , but also works with 7

[vexorian]

This package seems to be the only reason I cannot understand openjdk-1.6, and just use 1.7. jEdit's home page says jEdit requires Java 1.6 or latter, so there seems not to be a reason to forbid Java 1.7-only installations from installing this package.

[Aditya V (kroq-gar78)]

I'll look into this in a bit, but can you tell me which version of Ubuntu you're using?

[vexorian (vexorian)]

Precise.

[Daniel Hahler (blueyed)]

It might make sense for jedit to depend on "openjdk-6-jre | openjdk-7-jre | sun-java6-jre", maybe even preferring version 7?!

This should get fixed in Debian, too - and therefore come to Ubuntu from there.

[Alessandro Polverini (polve)]

Can someone tell me a workaround?

I don't want to isntall openjdk6 on my system

[vexorian (vexorian)]

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

[Alessandro Polverini (polve)]

Oh my, I'm so addicted to apt I didn't even think of checking the official site...

Thanks for the tip!

[Steve Ward (planet36)]

This should be reported upstream.