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 changed: - jedit package in precise needs Java 6 , can't use just 7 + jedit package depends on Java 6 , but also works with 7 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1154951 Title: jedit package depends on Java 6 , but also works with 7 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/jedit/+bug/1154951/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
