wrapper script. Doesn't work on Debian yet but helps Ubuntu users (cf.
LP: #225450 and LP: #203636).
+jabref (2.3.1-4) UNRELEASED; urgency=low
+
+ * Replace /usr/lib/jvm/java-7-icedtea with /usr/lib/jvm/java-6-openjdk in
+ wrapper script. Doesn't work on Debian yet but helps Ubuntu users (cf.
+ LP: #225450 and LP: #203636).
+
+ -- gregor herrmann <gregoa@debian.org> Fri, 02 May 2008 01:24:18 +0200
+
jabref (2.3.1-3) unstable; urgency=low
* Build against Debian libraries instead of pre-packaged ones
jabref (2.3.1-3) unstable; urgency=low
* Build against Debian libraries instead of pre-packaged ones
if [ -z "$JAVA_HOME" ] ; then
t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t
if [ -z "$JAVA_HOME" ] ; then
t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t
- t=/usr/lib/jvm/java-7-icedtea && test -d $t && JAVA_HOME=$t
+ t=/usr/lib/jvm/java-6-openjdk && test -d $t && JAVA_HOME=$t
test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java
fi
test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java
fi