mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
don't add duplicate patterns
This commit is contained in:
@@ -189,7 +189,7 @@ public class RngNsDescriptor implements XmlNSDescriptorEx, Validator {
|
||||
dPatterns = new ArrayList<DElementPattern>();
|
||||
name2patterns.put(qName, dPatterns);
|
||||
}
|
||||
dPatterns.add(pattern);
|
||||
if (!dPatterns.contains(pattern)) dPatterns.add(pattern);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user