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((Patch)p, 1);  }