if (driver == null) { deviceNum = 0; driverNum = 0; } else { deviceNum = driver.getDeviceNum(); driverNum = driver.getDriverNum(); }
this.driver = (driver == null) ? AppConfig.getNullDriver() : driver;
    void setDriver(Driver driver) {	if (driver == null) {	    deviceNum = 0;	    driverNum = 0;	} else {	    deviceNum = driver.getDeviceNum();	    driverNum = driver.getDriverNum();	}//  	this.driver = (driver == null) ? PatchEdit.nullDriver : driver;    }