private void run() { int port = Util.getInt(serverPort.tf.getText().trim(), config.port); if (port != config.port) { try { Element server = Util.getFirstNamedChild(config.configXML, "Server"); server.setAttribute("port", Integer.toString(port)); config.saveXML(); config.port = port; } catch (Exception unable) { } serverPort.tf.setText(Integer.toString(config.port)); } save(); if (!running) { runner = Util.startup(); Util.wait(500); running = runner.isAlive(); if (running) { monitor = new Monitor(runner); monitor.start(); } } setStatus(); }