if (rcvr != null) rcvr.close();
    protected void setPort (int port) {	if (!initPort || getPort() != port) {	    if (rcvr != null)		rcvr.close();	    try {		rcvr = MidiUtil.getReceiver(port);	    } catch (MidiUnavailableException e) {		ErrorMsg.reportStatus(e);	    }	}	prefs.putInt("port", port);	initPort = true;    }