cfg.addRoute(new IPv4Address(hdr.getServerIPAddress()), null, device, false);
cfg.addRoute(network_address, null, device, false);
  protected void configureNetwork(Device device, BOOTPHeader hdr)      throws NetworkException  {    log.info("Got Client IP address  : " + hdr.getClientIPAddress());    log.info("Got Your IP address    : " + hdr.getYourIPAddress());    log.info("Got Server IP address  : " + hdr.getServerIPAddress());    log.info("Got Gateway IP address : " + hdr.getGatewayIPAddress());    final IPv4ConfigurationService cfg;    try    {      cfg = (IPv4ConfigurationService) InitialNaming.lookup(IPv4ConfigurationService.NAME);    }    catch (NameNotFoundException ex)    {      throw new NetworkException(ex);    }    cfg.configureDeviceStatic(device, new IPv4Address(hdr.getYourIPAddress()),        null, false);    if (hdr.getGatewayIPAddress().isAnyLocalAddress())    {      cfg.addRoute(new IPv4Address(hdr.getServerIPAddress()), null,          device, false);    }    else    {      cfg.addRoute(new IPv4Address(hdr.getServerIPAddress()),          new IPv4Address(hdr.getGatewayIPAddress()), device, false);    }  }