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