final ManagementSection managementSection =
(ManagementSection) platformModel.getAdapter(ManagementSection.class);
managementSection.load();
managementSection.setPort(jmxRegistryPort);
managementSection.save();
}
private void configureKarafFeatures(
final KarafWorkingPlatformModel platformModel, final ILaunchConfiguration configuration) throws CoreException {