|
@@ -390,9 +390,9 @@ public class XMLCatalog extends DataType |
|
|
// Add all nested elements to our catalog |
|
|
// Add all nested elements to our catalog |
|
|
Vector newElements = catalog.getElements(); |
|
|
Vector newElements = catalog.getElements(); |
|
|
Vector ourElements = getElements(); |
|
|
Vector ourElements = getElements(); |
|
|
Enumeration enum = newElements.elements(); |
|
|
|
|
|
while (enum.hasMoreElements()) { |
|
|
|
|
|
ourElements.addElement(enum.nextElement()); |
|
|
|
|
|
|
|
|
Enumeration e = newElements.elements(); |
|
|
|
|
|
while (e.hasMoreElements()) { |
|
|
|
|
|
ourElements.addElement(e.nextElement()); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
// Append the classpath of the nested catalog |
|
|
// Append the classpath of the nested catalog |
|
@@ -630,10 +630,10 @@ public class XMLCatalog extends DataType |
|
|
* of the Resource or null if no such information is available. |
|
|
* of the Resource or null if no such information is available. |
|
|
*/ |
|
|
*/ |
|
|
private ResourceLocation findMatchingEntry(String publicId) { |
|
|
private ResourceLocation findMatchingEntry(String publicId) { |
|
|
Enumeration enum = getElements().elements(); |
|
|
|
|
|
|
|
|
Enumeration e = getElements().elements(); |
|
|
ResourceLocation element = null; |
|
|
ResourceLocation element = null; |
|
|
while (enum.hasMoreElements()) { |
|
|
|
|
|
Object o = enum.nextElement(); |
|
|
|
|
|
|
|
|
while (e.hasMoreElements()) { |
|
|
|
|
|
Object o = e.nextElement(); |
|
|
if (o instanceof ResourceLocation) { |
|
|
if (o instanceof ResourceLocation) { |
|
|
element = (ResourceLocation) o; |
|
|
element = (ResourceLocation) o; |
|
|
if (element.getPublicId().equals(publicId)) { |
|
|
if (element.getPublicId().equals(publicId)) { |
|
|