public JSLFrame editPatch(IPatch p) {
public JSLFrame editPatch(Patch p) {
    public JSLFrame editPatch(IPatch p) {// 	ErrorMsg.reportStatus("editPatch: " + device);	return new TD6SingleEditor((Patch)p);    }