if ( ( launch != null ) && ( !launch.isTerminated() ) )
{
// Terminating the launch
try
{
launch.terminate();
writeToInfoConsoleMessageStream( "Server stopped.\n" );
}
catch ( DebugException e )
{
ApacheDsPluginUtils.reportError( "An error occurred when stopping the server.\n\n"