fIsEditable= parent.isEditable();
		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			}		}