public void execute() throws NameNotFoundException, NetworkException {
final Device dev = argDevice.getValue();
getOutput().getPrintWriter().format(fmt_config, dev.getId());
final IPv4ConfigurationService cfg = InitialNaming.lookup(IPv4ConfigurationService.NAME);
cfg.configureDeviceBootp(dev, true);
}
}