apply philip's patch to jabref-wrapper

diff --git a/debian/jabref-wrapper b/debian/jabref-wrapper
index e2b391d..005adb3 100644 (file)
--- a/debian/jabref-wrapper
+++ b/debian/jabref-wrapper
@@ -6,6 +6,6 @@
 # We need openjdk6 or sun{5,6} runtime.
 find_java_runtime openjdk || find_java_runtime sunmin5
 
-find_jars jabref antlr antlr3 looks forms spin glazedlists microba pdfbox jempbox
+find_jars jabref antlr antlr3 looks forms spin glazedlists microba pdfbox jempbox mysql-connector-java JPFCodeGenerator-rt jpf jpf-boot commons-logging
 
 run_java net.sf.jabref.JabRefMain "$@"