public void processArgs(String args[]) throws RsPropertiesException {

      // normally, we would read the properties out of rossum.ini.
      // but first, see if the command-line arguments specify an alternate
      // properties file.   This is not a "100 percent Java" way of
      // doing things, and won't work on a Macintosh (which doesn't
      // support command-line arguments), but is awfully convenient
      // if you're working Unix or DOS.

      boolean alternate = false;
      if(args!=null){
         for(int i=0; i<args.length; i++){
            if(args[i].equals("-p")){
               if(i==args.length-1)
                  throw new RsPropertiesException("Missing specification for -p option");
               loadFromFile(args[i]);
               alternate = true;
            }
         }
      }


      // if no alternate was specified, try to read properties out of rossum.ini
      // failure to do so is considered an exception.
      if(!alternate){
         System.err.println("Loading properties from rossum.ini");
         load("rossum.ini");
      }


      // next copy in any other values from command line
      if(args!=null){
         commandeer(args, "port");
         commandeer(args, "hostName");
         commandeer(args, "logFileName");
         commandeer(args, "logToFile");
         commandeer(args, "logVerbose");
         commandeer(args, "logToSystemOut");
      }

      extractProperties();
   }