[jedit] 02/04: depend on JRE and JDK >= 1.7 as per upstream

[Tony Mancill]

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

tmancill pushed a commit to branch master
in repository jedit.

commit e3d96cb55f4134f94f6166df6f9f45e37b1876bf
Author: tony mancill <tmancill at debian.org>
Date:   Sat Oct 17 22:08:06 2015 -0700

    depend on JRE and JDK >= 1.7 as per upstream
---
 debian/control | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/control b/debian/control
index 1b855a5..c31608a 100644
--- a/debian/control
+++ b/debian/control
@@ -23,7 +23,7 @@ Build-Depends: ant,
                quilt (>= 0.46-7~),
                xsltproc
 Build-Conflicts: junit
-Build-Depends-Indep: default-jdk
+Build-Depends-Indep: default-jdk (>= 2:1.7)
 Standards-Version: 3.9.6
 Vcs-Git: git://anonscm.debian.org/pkg-java/jedit.git
 Vcs-Browser: http://anonscm.debian.org/cgit/pkg-java/jedit.git
@@ -33,7 +33,7 @@ Package: jedit
 Architecture: all
 Pre-Depends: dpkg (>= 1.15.6~)
 Depends: java-wrappers (>= 0.1.14),
-         default-jre | java7-runtime | java6-runtime,
+         default-jre (>= 2:1.7) | java7-runtime,
          ${misc:Depends}
 Description: Plugin-based editor for programmers
  As one of the most feature rich editors available, jEdit boasts support for

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