[derby] 30/53: Add the JRE dependency for derby-tools

[Emmanuel Bourg]

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

ebourg-guest pushed a commit to branch master
in repository derby.

commit 40b021ea3cd8deff82d431247b45f8ceb5345416
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Mon Jun 10 06:39:57 2013 +0000

    Add the JRE dependency for derby-tools
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index a16b08c..41c90b2 100644
--- a/debian/control
+++ b/debian/control
@@ -46,7 +46,7 @@ Description: Apache Derby Database Engine and Embedded JDBC Driver
 
 Package: derby-tools
 Architecture: all
-Depends: ${misc:Depends}, libderby-java, libderbyclient-java, java-wrappers
+Depends: ${misc:Depends}, libderby-java, libderbyclient-java, java-wrappers, default-jre | java6-runtime-headless
 Description: Apache Derby Tools
  The Derby tools and utilities are a set of routines supplied with Derby
  that are typically used to create, inspect, and update a Derby database.

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