+ dev.getDeviceInfo().getName());
+ dev.getDeviceInfo().getName() + ", port: " + port);
    private static MidiDevice getInputMidiDevice(int port) {	MidiDevice dev = null;	if (inputMidiDeviceInfo.length == 0)	    return null;	try {	    dev = MidiSystem.getMidiDevice(inputMidiDeviceInfo[port]);	    if (!dev.isOpen()) {		ErrorMsg.reportStatus("open inport: "				      + dev.getDeviceInfo().getName());		dev.open();	    }	} catch (MidiUnavailableException e) {	    ErrorMsg.reportStatus(e);	}	return dev;    }