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