forcemerge 683502 706777 thanks Hello,
i think you have reported the same issue which is described here: http://bugs.debian.org/683502 Jedit will depend on the default-jre in the future that is going to be OpenJDK7. A fix has already been committed to Debian's git repository thus i think this bug will be solved soon. Regards, Markus
signature.asc
Description: OpenPGP digital signature
