[java-policy] 159/198: Also recommend default-jre & default-jre-headless for Java libraries

[Emmanuel Bourg]

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

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

commit 4ecc5518caa4b08266b31b3638d54ac0ac9bb205
Author: Sylvestre Ledru <sylvestre at debian.org>
Date:   Wed Jun 5 13:22:23 2013 +0000

    Also recommend default-jre & default-jre-headless for Java libraries
---
 policy.xml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/policy.xml b/policy.xml
index d2db15b..d20cc11 100644
--- a/policy.xml
+++ b/policy.xml
@@ -236,12 +236,17 @@
     
     <sect1 id="policy-libraries">
       <title>Java libraries</title>
-      
+
       <para>
 	Libraries are not separated between developers (-dev) and users
 	versions, since this is meaningless in Java.
       </para>
-      
+
+      <para>
+        Libraries &must; depend on the needed runtime environment (&d-jre; and/or &d-jre-h; if need a GUI or not).
+      </para>
+
+
       <para>
 	Java libraries packages &must; be named libXXX[version]-java
 	(without the brackets), where the version part is optional and &should;

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