Bug#890345: Pending fixes for bugs in the jflex package

[pkg-java-maintainers at lists.alioth.debian.org]

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.