public void deletePatch (IPatch p, int patchNum)
public void deletePatch (Patch p, int patchNum)
  public void deletePatch (IPatch p, int patchNum)   {     setPatchName(p,patchNum,"                ");   }