public void setServerInfo(ServerInfo info) {
		if (info != null) {
			nameField.setText(info.getServerName());
			portNumberField.setText(Integer.toString(info.getPortNumber()));
		}
		else {
			nameField.setText("");
			portNumberField.setText(Integer.toString(GhidraServerHandle.DEFAULT_PORT));
		}
	}
Set the field values using the given server info.
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/ServerInfoComponent.java