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