}
// Saving the ServerConfiguration to disk
try
{
ServerConfigurationWriter writer = new ServerConfigurationWriter();
writer.write( serverConfiguration );
}
catch ( ServerConfigurationWriterException e )
{
MessageBox messageBox = new MessageBox( PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell(),
SWT.OK | SWT.ICON_ERROR );