manifestInfo.singleton = true;
	public void handleExtensionPointState(String elementName, Attributes attributes) {		// We ignore all elements under extension points (if there are any)		stateStack.push(new Integer(IGNORED_ELEMENT_STATE));		// internalError(Policy.bind("parse.unknownElement", EXTENSION_POINT,elementName)); //$NON-NLS-1$	}