rendered paste body$ diff -u ../../patches/src680/./xmlhelp-port-to-db-4.3.diff ../../patches/src680/./xmlhelp-port-to-db-4.3.diff.orig
--- ../../patches/src680/./xmlhelp-port-to-db-4.3.diff 2007-03-20 14:05:53.476256632 +0300
+++ ../../patches/src680/./xmlhelp-port-to-db-4.3.diff.orig 2007-03-20 14:04:14.226676823 +0300
@@ -191,7 +191,7 @@
System.out.println("Error initializing database");
System.exit(1);
} catch (FileNotFoundException fnfe) {
-@@ -402,9 +404,12 @@
+@@ -429,9 +431,12 @@
list[j++] = (String) enum.nextElement();
}