IStatus.ERROR,
KarafUIPluginActivator.PLUGIN_ID,
"Could not find suitable TCP/IP port for JMX RMI Registry"));
}
final ManagementSection managementSection =
(ManagementSection) platformModel.getAdapter(ManagementSection.class);
managementSection.load();
managementSection.setPort(jmxRegistryPort);
managementSection.save();
}