From a6f63b987ae0d5b76a2b8705d41d5551def841d6 Mon Sep 17 00:00:00 2001
From: gregor herrmann <gregoa@debian.org>
Date: Tue, 11 Aug 2009 15:43:35 +0000
Subject: [PATCH] apply philip's patch to jabref-wrapper

---
 debian/jabref-wrapper | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/jabref-wrapper b/debian/jabref-wrapper
index e2b391d..005adb3 100644
--- 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 "$@"
-- 
2.20.1