if (props.containsKey(ORB_ID)) orb_id = props.getProperty(ORB_ID);  if (props.containsKey(SERVER_ID)) server_id = props.getProperty(SERVER_ID);
  protected void useProperties(Properties props)  {    if (props != null)      {        if (props.containsKey(LISTEN_ON))          Port = Integer.parseInt(props.getProperty(LISTEN_ON));        if (props.containsKey(NS_HOST))          ns_host = props.getProperty(NS_HOST);        try          {            if (props.containsKey(NS_PORT))              ns_port = Integer.parseInt(props.getProperty(NS_PORT));            if (props.containsKey(START_READING_MESSAGE))              TOUT_START_READING_MESSAGE =                Integer.parseInt(props.getProperty(START_READING_MESSAGE));            if (props.containsKey(WHILE_READING))              TOUT_WHILE_READING =                Integer.parseInt(props.getProperty(WHILE_READING));            if (props.containsKey(AFTER_RECEIVING))              TOUT_AFTER_RECEIVING =                Integer.parseInt(props.getProperty(AFTER_RECEIVING));            if (props.containsKey(SERVER_ERROR_PAUSE))              TWAIT_SERVER_ERROR_PAUSE =                 Integer.parseInt(props.getProperty(SERVER_ERROR_PAUSE));          }        catch (NumberFormatException ex)          {            throw new BAD_PARAM("Invalid " + NS_PORT +              "property, unable to parse '" + props.getProperty(NS_PORT) +              "'"            );          }                if (props.containsKey(SocketFactory.PROPERTY))          {            String factory = null;            try              {                factory = props.getProperty(SocketFactory.PROPERTY);                if (factory!=null)                  socketFactory = (SocketFactory)                     ObjectCreator.forName(factory).newInstance();              }            catch (Exception ex)              {                BAD_PARAM p = new BAD_PARAM("Bad socket factory "+factory);                p.initCause(ex);                throw p;              }          }                Enumeration en = props.elements();        while (en.hasMoreElements())          {            String item = (String) en.nextElement();            if (item.equals(REFERENCE))              initial_references.put(item,                string_to_object(props.getProperty(item))              );          }      }  }