@Override
	public void redo() {
		if (oldKey == null) {
			if (newKey == null) {
				// Do Nothing, since this should never happen.
			} else {
				node.setAttribute(newKey, newValue, newReadOnly);
			}
		} else {
			if (newKey == null) {
				node.removeAttribute(oldKey);
			} else {
				if (!oldKey.equals(newKey)) {
					node.removeAttribute(oldKey);
				}
				node.setAttribute(newKey, newValue, newReadOnly);
			}		
		}
	}