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