public ExtensionPoint readAllExtensionPointTree(RegistryObjectManager objectManager) throws IOException {
private ExtensionPoint readAllExtensionPointTree(RegistryObjectManager objectManager) throws IOException {
	public ExtensionPoint readAllExtensionPointTree(RegistryObjectManager objectManager) throws IOException {		ExtensionPoint xpt = loadFullExtensionPoint();		int[] children = xpt.getRawChildren();		int nbrOfExtension = children.length;		for (int i = 0; i < nbrOfExtension; i++) {			loadFullExtension(objectManager);		}		for (int i = 0; i < nbrOfExtension; i++) {			int nbrOfCe = mainInput.readInt();			for (int j = 0; j < nbrOfCe; j++) {				objectManager.add(loadConfigurationElementAndChildren(mainInput, extraInput, 1, Integer.MAX_VALUE, objectManager, -1), true);			}		}		return xpt;	}