public void saveSettings(Document document, Element e) {
Element processorElement = document.createElement("Processor");
ArrayList list = view.getReplacementsList();
for (int i=0; i<list.size(); i++) {
PreProcessorReplacement rep = (PreProcessorReplacement)list.get(i);
Element repElt = document.createElement("Replacement");
rep.setAttributes(repElt);
processorElement.appendChild(repElt);
}
e.appendChild(processorElement);
}