public void storePatch (IPatch p, int bankNum, int patchNum)
public void storePatch (Patch p, int bankNum, int patchNum)
  public void storePatch (IPatch p, int bankNum, int patchNum)  {    sendPatchWorker(p);  }