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

Bug #1154951 reported by vexorian on 2013-03-14
This bug affects 4 people
Affects Status Importance Assigned to Milestone
jedit (Ubuntu)

Bug Description

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.

kroq-gar78 (kroq-gar78) wrote :

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

Changed in jedit (Ubuntu):
assignee: nobody → kroq-gar78 (kroq-gar78)
status: New → In Progress
vexorian (vexorian) wrote :


Daniel Hahler (blueyed) wrote :

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.

Changed in jedit (Ubuntu):
importance: Undecided → Low
summary: - jedit package in precise needs Java 6 , can't use just 7
+ jedit package depends on Java 6 , but also works with 7
Alessandro Polverini (polve) wrote :

Can someone tell me a workaround?

I don't want to isntall openjdk6 on my system

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.

Alessandro Polverini (polve) wrote :

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

Thanks for the tip!

kroq-gar78 (kroq-gar78) on 2013-07-11
Changed in jedit (Ubuntu):
assignee: kroq-gar78 (kroq-gar78) → nobody
status: In Progress → Confirmed
Steve Ward (planet36) wrote :

This should be reported upstream.

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers