thePlatformManager = pm;
String actualPlatformName = thePlatformManager.getPlatformName();
if (platformName != null) {
// PlatformName already set --> Check that it is consistent with the actual name of the platform
if (!platformName.equals(actualPlatformName)) {
throw new IMTPException("Wrong platform name "+platformName+". It should be "+actualPlatformName);
}
}
else {
platformName = actualPlatformName;
}