* Only set JAVA to $JAVA_HOME/jre/bin/java if JAVA_HOME is not empty;
[debian/jabref.git] / debian / compat
index 7ed6ff8..1e8b314 100644 (file)
@@ -1 +1 @@
-5
+6