if (extensions == null || (schemaVersion != null && schemaVersion.equals("3.0")) || RegistryProperties.getProperty(NO_EXTENSION_MUNGING) != null)
if (extensions == null || versionAtLeast(VERSION_3_0) || RegistryProperties.getProperty(NO_EXTENSION_MUNGING) != null)
	private Extension[] fixRenamedExtensionPoints(Extension[] extensions) {		if (extensions == null || (schemaVersion != null && schemaVersion.equals("3.0")) || RegistryProperties.getProperty(NO_EXTENSION_MUNGING) != null) //$NON-NLS-1$			return extensions;		for (int i = 0; i < extensions.length; i++) {			Extension extension = extensions[i];			String oldPointId = extension.getExtensionPointIdentifier();			String newPointId = (String) extensionPointMap.get(oldPointId);			if (newPointId != null) {				extension.setExtensionPointIdentifier(newPointId);			}		}		return extensions;	}