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, patchNum);  }