public String getPatchName(IPatch p, int patchNum) {
public String getPatchName(Patch p, int patchNum) {
    public String getPatchName(IPatch p, int patchNum) {        int nameStart = getPatchStart(patchNum);        nameStart += 0; //offset of name in patch data        try {            StringBuffer s = new StringBuffer(new String(((Patch)p).sysex, nameStart,							 10, "US-ASCII"));            return s.toString();        } catch (UnsupportedEncodingException ex) {	    return "-";	}    }