if (dev == null) return null;
    static Transmitter getTransmitter(int port) {	// Transmitter cannot be shared.	MidiDevice dev = getInputMidiDevice(port);	if (dev == null)	    return null;	try {	    return dev.getTransmitter();	} catch (MidiUnavailableException e) {	    ErrorMsg.reportStatus(e);	}	return null;    }