+ getPatchType() + " | " + getSynthName() + " | " + getPatchName(p);
+ p.getType() + " | " + getSynthName() + " | " + getPatchName(p);
    protected String getFullPatchName(Patch p) {	return getManufacturerName() + " | " + getModelName() + " | "	    + getPatchType() + " | " + getSynthName() + " | " + getPatchName(p);    }