[jabref] 415/459: Extend debian/jabref.bug-presubj a bit.

[gregor herrmann]

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

gregoa pushed a commit to branch master
in repository jabref.

commit d314318ab291cacf48fb9f9a800731a0f475b5ff
Author: gregor herrmann <gregoa at debian.org>
Date:   Fri Jun 21 18:41:54 2013 +0200

    Extend debian/jabref.bug-presubj a bit.
---
 debian/jabref.bug-presubj | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/debian/jabref.bug-presubj b/debian/jabref.bug-presubj
index 927c7d9..3c38e10 100644
--- a/debian/jabref.bug-presubj
+++ b/debian/jabref.bug-presubj
@@ -1,12 +1,19 @@
 Quite some bugs reported against JabRef are actually problems with the used
 Java Virtual machine.
 
-Before filing a bug against JabRef please make sure to test with all
+Before filing a bug against JabRef, please make sure to test with all
 installed JVMs, and provide the output of the jabref wrapper called with the
 debug parameter in the bug report, e.g.:
 
-$ DEBUG_WRAPPER=1 JAVA_HOME=/usr/lib/jvm/java-6-openjdk/ jabref
-$ DEBUG_WRAPPER=1 JAVA_HOME=/usr/lib/jvm/java-6-sun jabref
+	$ DEBUG_WRAPPER=1 JAVA_HOME=/usr/lib/jvm/java-6-openjdk/ jabref
+	$ DEBUG_WRAPPER=1 JAVA_HOME=/usr/lib/jvm/java-6-sun jabref
+
+Please also include the output of
+	$ dpkg -l "openjdk*"
+if you are using OpenJDK.
+
+Note that openjdk-*-jre package is needed, openjdk-*-jre-headless is
+not enough.
 
 Please also go through the bug reports against the JVM you're using at
 http://bugs.debian.org/ and check if similar problems are already reported

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