manifestInfo.hasExtensionExtensionPoints = true;
	public void handleExtensionPointState(String elementName, Attributes attributes) {		// nothing to do for extension-points' children		stateStack.push(new Integer(IGNORED_ELEMENT_STATE));	}