if (faderPort < 0) faderPort = 0; if (getFaderPort() != faderPort) {   faderInTrns = MidiUtil.getTransmitter(getFaderPort()); }
    public void setFaderPort(int faderPort) {	if (faderPort < 0)	    faderPort = 0;	if (getFaderPort() != faderPort) {	    // others may be using (true?)	    //if (faderInTrns != null) faderInTrns.close();	    faderInTrns = MidiUtil.getTransmitter(getFaderPort());	}        prefs.putInt("faderPort", faderPort);    }