Hi Peter, thanks for your patch, it is applied[1] and will be in the next release.
Regards Jakub [1] http://anonscm.debian.org/gitweb/?p=pkg-java/eclipse.git;a=commit;h=cb7bec8e9145eaf72dc7d54f499261d2680082bc __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.

