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