diff --git a/proposal/xdocs/dvsl/lib/dom4j-1.1.1.jar b/proposal/xdocs/dvsl/lib/dom4j-1.2-jp.jar
similarity index 52%
rename from proposal/xdocs/dvsl/lib/dom4j-1.1.1.jar
rename to proposal/xdocs/dvsl/lib/dom4j-1.2-jp.jar
index a3c1bf5c5..cbd4a12de 100644
Binary files a/proposal/xdocs/dvsl/lib/dom4j-1.1.1.jar and b/proposal/xdocs/dvsl/lib/dom4j-1.2-jp.jar differ
diff --git a/proposal/xdocs/dvsl/lib/dom4j-README.txt b/proposal/xdocs/dvsl/lib/dom4j-README.txt
new file mode 100644
index 000000000..07c61ae53
--- /dev/null
+++ b/proposal/xdocs/dvsl/lib/dom4j-README.txt
@@ -0,0 +1,19 @@
+This is the standard dom4j 1.2 release with a patch applied to jaxen.  The
+patch fixes a problem where DocumentHelper.createPattern("aaa | bbb") would
+fail never matching the element <bbb> because the pattern for "bbb" had been
+overwritten by the pattern for "aaa".
+
+--- org/jaxen/pattern/UnionPattern.java.orig    Wed Aug  8 17:29:49 2001
++++ org/jaxen/pattern/UnionPattern.java Wed Mar  6 01:39:51 2002
+@@ -91,7 +91,7 @@
+     public Pattern simplify()
+     {
+         this.lhs = lhs.simplify();
+-        this.rhs = lhs.simplify();
++        this.rhs = rhs.simplify();
+         init();
+         return this;
+     }
+
+
+