diff --git a/debian/patches/0004-FixLibraryInScriptProperties.patch b/debian/patches/0004-FixLibraryInScriptProperties.patch new file mode 100644 index 0000000..ea24365 --- /dev/null +++ b/debian/patches/0004-FixLibraryInScriptProperties.patch @@ -0,0 +1,13 @@ +Index: findbugs-2.0.3/etc/script.properties +=================================================================== +--- findbugs-2.0.3.orig/etc/script.properties 2011-07-14 16:53:46.000000000 +0800 ++++ findbugs-2.0.3/etc/script.properties 2013-12-17 20:39:15.222174153 +0800 +@@ -76,6 +76,8 @@ + # This should be done before executing any code that + # could override fb_javacmd. + script.set.default.java=\ ++ . /usr/lib/java-wrappers/java-wrappers.sh\n\ ++ find_jars dom4j junit4 commons-lang jaxen jdepend asm3 asm3-commons asm3-tree ant jcip jsr305 jFormatString findbugs-bcel\n\ + # Choose default java binary\n\ + fb_javacmd=java\n\ + if [ ! -z "$JAVA_HOME" ] && [ -x "$JAVA_HOME/bin/java" ]; then\n\ diff --git a/debian/patches/series b/debian/patches/series index 1edef20..388633f 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,4 @@ 0001-FixLibraryDependency-RemoveAppleGUI.patch 0002-FixJnlpLibraryDir.patch 0003-UseGTKLook.patch +0004-FixLibraryInScriptProperties.patch