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.