--- findbugs-1.2.1/src/antTask/edu/umd/cs/findbugs/anttask/FindBugsTask.java.orig 2007-07-06 08:23:08.000000000 +0200
+++ findbugs-1.2.1/src/antTask/edu/umd/cs/findbugs/anttask/FindBugsTask.java 2007-07-06 08:23:41.000000000 +0200
@@ -705,8 +705,7 @@
// Use findbugs.home to locate findbugs.jar and the standard
// plugins. This is the usual means of initialization.
- findbugsEngine.setJar( new File( homeDir + File.separator + "lib" +
- File.separator + FINDBUGS_JAR ) );
+ findbugsEngine.setJar( new File( homeDir + File.separator + FINDBUGS_JAR ) );
addArg("-home");
addArg(homeDir.getPath());
--- findbugs-1.2.1/src/antTask/edu/umd/cs/findbugs/anttask/FindBugsViewerTask.java.orig 2007-07-06 08:24:05.000000000 +0200
+++ findbugs-1.2.1/src/antTask/edu/umd/cs/findbugs/anttask/FindBugsViewerTask.java 2007-07-06 08:24:28.000000000 +0200
@@ -227,8 +227,7 @@
// Use findbugs.home to locate findbugs.jar and the standard
// plugins. This is the usual means of initialization.
- findbugsEngine.setJar( new File( homeDir + File.separator + "lib" +
- File.separator + FINDBUGSGUI_JAR ) );
+ findbugsEngine.setJar( new File( homeDir + File.separator + FINDBUGSGUI_JAR ) );
addArg("-home");
addArg(homeDir.getPath());
--- findbugs-1.2.1/src/java/edu/umd/cs/findbugs/FindBugs.java.orig 2007-07-06 08:26:04.000000000 +0200
+++ findbugs-1.2.1/src/java/edu/umd/cs/findbugs/FindBugs.java 2007-07-06 08:27:37.000000000 +0200
@@ -876,7 +876,7 @@
if (home == null) {
home = SystemProperties.getProperty("findbugs.home");
if (home == null) {
- System.err.println("Error: The findbugs.home property is not set!");
+ home = File.separator + "usr" + File.separator + "share" + File.separator + "java";
}
}
return home;
--- findbugs-1.2.1/src/java/edu/umd/cs/findbugs/DetectorFactoryCollection.java.orig 2007-07-06 08:34:07.000000000 +0200
+++ findbugs-1.2.1/src/java/edu/umd/cs/findbugs/DetectorFactoryCollection.java 2007-07-06 08:34:46.000000000 +0200
@@ -181,6 +181,7 @@
if (homeDir == null)
return;
+ // XXX: Maybe this should just be changed to homeDir
File pluginDir = new File(homeDir + File.separator + "plugin");
File[] contentList = pluginDir.listFiles();
if (contentList == null) {
