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(); }