((AbstractRuleOperator) this.operator).applyChange(newName);
if(!newName.equals("")) {
HashMap<String, Operator> names = (HashMap<String, Operator>) data;
Operator tmp = names.get(newName);
if(tmp != null && !tmp.equals(this.operator)) {
throw new ModificationException("Name already in use!", this.operator);
}
else {
names.put(newName, this.operator);
}