dm.rename(device, getDevicePrefix(), true);
if (renameToDevicePrefixOnly()) { dm.rename(device, getDevicePrefix(), true); } else { dm.rename(device, getDevicePrefix() + "-" + device.getId(), false); }
	protected void startDevice() throws DriverException {		final Device device = getDevice();		try {			final DeviceManager dm = (DeviceManager)InitialNaming.lookup(DeviceManager.NAME);			dm.rename(device, getDevicePrefix(), true);		} catch (DeviceAlreadyRegisteredException ex) {			log.error("Cannot rename device", ex);		} catch (NameNotFoundException ex) {			throw new DriverException("Cannot find DeviceManager", ex);		}		device.registerAPI(NetDeviceAPI.class, this);		txThread = new QueueProcessorThread(device.getId() + "-tx", txQueue, this);		txThread.start();	}