public String getPatchName(Patch p) { String s  = "Effect Type "  + (p.sysex[HSIZE] + 1);
public String getPatchName(IPatch ip) { String s  = "Effect Type "  + (((Patch)ip).sysex[HSIZE] + 1);
    public String getPatchName(Patch p) {        String s  = "Effect Type "  + (p.sysex[HSIZE] + 1);        return s;    }