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