6970717273747576777879
public void stopServer() throws BuildException { ServerManager manager = ConfigManagerTask.getServerManager(getProject()); try { manager.stopServer(name); } catch (IOException e) { if (e instanceof ServerShutdownException && ignoreerrors) {