diff options
author | Patrice Clement <monsieurp@gentoo.org> | 2016-02-19 15:52:36 +0000 |
---|---|---|
committer | Patrice Clement <monsieurp@gentoo.org> | 2016-02-19 20:04:43 +0000 |
commit | 3d43557288bdb9311b5dc3a920714981b493267f (patch) | |
tree | 43d49b7567be7119893fba2e0b6ada42ff0dd71a /dev-java/xp/files | |
parent | dev-java/jrexx: Fix DESCRIPTION length. (diff) | |
download | gentoo-3d43557288bdb9311b5dc3a920714981b493267f.tar.gz gentoo-3d43557288bdb9311b5dc3a920714981b493267f.tar.bz2 gentoo-3d43557288bdb9311b5dc3a920714981b493267f.zip |
dev-java/xp: Switch to java-pkg-simple.
Package-Manager: portage-2.2.26
Diffstat (limited to 'dev-java/xp/files')
-rw-r--r-- | dev-java/xp/files/xp-0.5-fix-jdk-1.7-enum.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/dev-java/xp/files/xp-0.5-fix-jdk-1.7-enum.patch b/dev-java/xp/files/xp-0.5-fix-jdk-1.7-enum.patch new file mode 100644 index 000000000000..d2c11ab3ed59 --- /dev/null +++ b/dev-java/xp/files/xp-0.5-fix-jdk-1.7-enum.patch @@ -0,0 +1,30 @@ +diff --git a/com/jclark/xml/sax/Driver.java b/com/jclark/xml/sax/Driver.java +index 2b0d90a..d1efd3e 100644 +--- a/com/jclark/xml/sax/Driver.java ++++ b/com/jclark/xml/sax/Driver.java +@@ -160,9 +160,9 @@ public class Driver extends ApplicationImpl +
+ DTD dtd = event.getDTD();
+
+- for (Enumeration enum = dtd.entityNames(DTD.NOTATION);
+- enum.hasMoreElements(); ) {
+- String name = (String)enum.nextElement();
++ for (Enumeration enumx = dtd.entityNames(DTD.NOTATION);
++ enumx.hasMoreElements(); ) {
++ String name = (String)enumx.nextElement();
+ Entity entity = dtd.getEntity(DTD.NOTATION, name);
+ String systemId = entity.getSystemId();
+ if (systemId != null) {
+@@ -173,9 +173,9 @@ public class Driver extends ApplicationImpl + }
+ dtdHandler.notationDecl(name, entity.getPublicId(), systemId);
+ }
+- for (Enumeration enum = dtd.entityNames(DTD.GENERAL_ENTITY);
+- enum.hasMoreElements();) {
+- String name = (String)enum.nextElement();
++ for (Enumeration enumx = dtd.entityNames(DTD.GENERAL_ENTITY);
++ enumx.hasMoreElements();) {
++ String name = (String)enumx.nextElement();
+ Entity entity = dtd.getEntity(DTD.GENERAL_ENTITY, name);
+ String notationName = entity.getNotationName();
+ if (notationName != null) {
|