bankDriver.checkAndPutPatch(bankData, p, getPatchNum(row, col));
bankData.put(p, getPatchNum(row, col));
	void setPatchAt(IPatch p, int row, int col) {	    bankDriver.checkAndPutPatch(bankData, p, getPatchNum(row, col));	    fireTableCellUpdated (row, col);	}