public XMLComparePreferencePage() {
super();
fIdMaps = new HashMap();
XMLPlugin plugin = XMLPlugin.getDefault();
HashMap PluginIdMaps = plugin.getIdMaps();
Set keySet = PluginIdMaps.keySet();
for (Iterator iter = keySet.iterator(); iter.hasNext(); ) {
String key = (String) iter.next();
fIdMaps.put(key, ((HashMap) PluginIdMaps.get(key)).clone());
}
fIdMapsInternal = plugin.getIdMapsInternal();
fIdExtensionToName = new HashMap();
HashMap PluginIdExtensionToName = plugin.getIdExtensionToName();
keySet = PluginIdExtensionToName.keySet();
for (Iterator iter = keySet.iterator(); iter.hasNext(); ) {
String key = (String) iter.next();
fIdExtensionToName.put(key, PluginIdExtensionToName.get(key));
}
fOrderedElements = new HashMap();
HashMap PluginOrderedElements = plugin.getOrderedElements();
keySet = PluginOrderedElements.keySet();
for (Iterator iter = keySet.iterator(); iter.hasNext(); ) {
String key = (String) iter.next();
fOrderedElements.put(key, ((ArrayList) PluginOrderedElements.get(key)).clone());
}
fOrderedElementsInternal = plugin.getOrderedElementsInternal();
}
