buf.append("[" + deviceNum + "," + driverNum + "] "
buf.append("[" + driver + "] "
    public String toString() {	StringBuffer buf = new StringBuffer();	buf.append("[" + deviceNum + "," + driverNum + "] "		   + Utility.hexDumpOneLine(sysex, 0, -1, 20));	return buf.toString();    }