if (!elementName.equals(manifestType)) { stateStack.push(new Integer(IGNORED_ELEMENT_STATE)); internalError(NLS.bind(RegistryMessages.parse_unknownTopElement, elementName)); return; }
	private void handleInitialState(String elementName, Attributes attributes) {		if (!elementName.equals(manifestType)) {			stateStack.push(new Integer(IGNORED_ELEMENT_STATE));			internalError(NLS.bind(RegistryMessages.parse_unknownTopElement, elementName));			return;		}		// new manifests should have the plugin (or fragment) element empty		// in compatibility mode, any extraneous elements will be silently ignored		compatibilityMode = attributes.getLength() > 0;		stateStack.push(new Integer(BUNDLE_STATE));		objectStack.push(namespace);	}