From 4ecc5518caa4b08266b31b3638d54ac0ac9bb205 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Wed, 5 Jun 2013 13:22:23 +0000
Subject: 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;
-- 
cgit v1.2.3