public PropertyNode(PropertyNode parent, int type, String id, String value, IDocument doc, int start, int length) { super(type, id, doc, start, length); fParent= parent;
public PropertyNode(DocumentRangeNode parent, int type, String id, String value, IDocument doc, int start, int length) { super(parent, type, id, doc, start, length);
		public PropertyNode(PropertyNode parent, int type, String id, String value, IDocument doc, int start, int length) {			super(type, id, doc, start, length);			fParent= parent;			if (parent != null) {				parent.addChild(this);				fIsEditable= parent.isEditable();	// propagate editability			}		}