configurations = new ArrayList();
Preferences prefs = WikiEditorPlugin.getDefault().getPluginPreferences();
- String xmlString = prefs.getString("configurations");
+ String xmlString = prefs.getString(WikiEditorPlugin.PREF_STRING_CONFIGURATIONS);
if (xmlString != null && xmlString.length() > 0) {
try {
ByteArrayInputStream in = new ByteArrayInputStream(xmlString.getBytes());
if (children != null) {
int size = children.length;
for (int i = 0; i < size; i++) {
- Configuration monitor = new Configuration();
- monitor.load(children[i]);
- configurations.add(monitor);
+ Configuration configuration = new ConfigurationWorkingCopy();
+ configuration.load(children[i]);
+ configurations.add(configuration);
}
}
} catch (Exception e) {