tag 890345 + pending thanks Some bugs in the jflex package are closed in revision caae45e2eef3779fc526f21acfd071e78e91136e in branch 'master' by Markus Koschany
The full diff can be seen at https://anonscm.debian.org/cgit/pkg-java/jflex.git/commit/?id=caae45e Commit message: Change dependency from default-jre to default-jre-headless | java7-runtime-headless. Closes: #890345 Thanks: Kai-Chung Yan for the report. __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.