File jakarta-commons-collections-navigation.patch of Package jakarta-commons-collections

--- xdocs/navigation.xml.sav1	2007-11-19 15:35:50.000000000 +0100
+++ xdocs/navigation.xml	2007-11-19 15:36:14.000000000 +0100
@@ -14,7 +14,7 @@
    See the License for the specific language governing permissions and
    limitations under the License.
   -->
-<!DOCTYPE org.apache.commons.menus SYSTEM 'http://jakarta.apache.org/commons/build/maven-build.dtd'>
+<!DOCTYPE org.apache.commons.menus SYSTEM 'http://commons.apache.org/build/maven-build.dtd'>
 <project name="Commons Collections">
 
   <title>Commons Collections</title>