protected JSLFrame editPatch(Patch p) {
protected JSLFrame editPatch(IPatch p) {
    protected JSLFrame editPatch(Patch p) {	ErrorMsg.reportError("Error", "The Driver for this patch does not support Patch Editing.");	return null;    }