public UndoableDocumentAttributeChange(JoeTree tree, String oldKey, Object oldValue, boolean oldReadOnly, String newKey, Object newValue, boolean newReadOnly) {
		this.tree = tree;
		this.oldKey = oldKey;
		this.oldValue = oldValue;
		this.oldReadOnly = oldReadOnly;
		this.newKey = newKey;
		this.newValue = newValue;
		this.newReadOnly = newReadOnly;
	}