if (PatchEdit.appConfig == null) return null; return PatchEdit.appConfig.getDevice(deviceNum);
return driver.getDevice();
    public Device getDevice() {	if (PatchEdit.appConfig == null)	    return null;	return PatchEdit.appConfig.getDevice(deviceNum);// 	return driver.getDevice();    }