if (patch.getDriver().isNullDriver()) {
if (patch.hasNullDriver()) {
    private void chooseDriver(IPatch patch) {        patch.setDriver();        if (patch.getDriver().isNullDriver()) {            // Unkown patch, try to guess at least the manufacturer            patch.setComment("Probably a "                    + patch.lookupManufacturer()                    + " Patch, Size: " + patch.getSize());        }    }