* Only set JAVA to $JAVA_HOME/jre/bin/java if JAVA_HOME is not empty;
[debian/jabref.git] / debian / compat
1 6