((IBankDriver) driver).deletePatch(this, patchNum);
((BankDriver) driver).deletePatch(this, patchNum);
    public final void delete(int patchNum) {        ((IBankDriver) driver).deletePatch(this, patchNum);    }