for (Map.Entry<String,String> e : m1.entrySet())
types.put(e.getKey(), m3.get(m2.get(e.getValue())));
} else if (u.endsWith(".dtd")) {
DTD2RestrRelaxNG dtd2rrng = new DTD2RestrRelaxNG();
if (extend)
rrng2xg.extend(rngparser.parse(dtd2rrng.convert(url), url));
else
xg = rrng2xg.convert(rngparser.parse(dtd2rrng.convert(url), url));
Map<String,String> m1 = dtd2rrng.getNameMap();
Map<String,String> m2 = rngparser.getTopLevelNewNames();
Map<String,SequenceNode> m3 = rrng2xg.getDefineNodes();