[jflex] 04/07: Change dependency from default-jre to default-jre-headless |

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo pushed a commit to branch master
in repository jflex.

commit caae45e2eef3779fc526f21acfd071e78e91136e
Author: Markus Koschany <apo at debian.org>
Date:   Tue Feb 13 22:29:21 2018 +0100

    Change dependency from default-jre to default-jre-headless |
    
    java7-runtime-headless.
    
    Closes: #890345
    Thanks: Kai-Chung Yan for the report.
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 7f1c011..18db534 100644
--- a/debian/control
+++ b/debian/control
@@ -20,7 +20,7 @@ Homepage: http://www.jflex.de/
 Package: jflex
 Architecture: all
 Depends:
- default-jre | java6-runtime,
+ default-jre-headless | java7-runtime-headless,
  ${misc:Depends}
 Enhances:
  ant-optional

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jflex.git