case 'i': gen.setIdPrefix(getStringArg(g,"")); break;  case '\u0100': gen.setUpdateModifiesId(true); break; case '\u0101': gen.setCopyModifiesId(true); break;
  private static int parseOpts( String args[] ) {    LongOpt lopts[] = {      new LongOpt("editlog",LongOpt.OPTIONAL_ARGUMENT,null,'e'),      new LongOpt("edits",LongOpt.REQUIRED_ARGUMENT,null,'n'),      new LongOpt("probability",LongOpt.NO_ARGUMENT,null,'p'),      new LongOpt("operations",LongOpt.REQUIRED_ARGUMENT,null,'o'),      new LongOpt("seed",LongOpt.REQUIRED_ARGUMENT,null,'s'),    };    Getopt g = new Getopt("editgen", args, "n:p:o:e::s:", lopts);    int c;    String arg;    while ((c = g.getopt()) != -1) {      try {        switch(c) {          case 'e':            gen.setEditLogPrefix(getStringArg(g,Editgen.EDIT_PREFIX));            break;          case 'p':            gen.setProbability( getDoubleArg(g,Double.MAX_VALUE) );            break;          case 'n':            gen.setEditCount(getIntArg(g,-1));            break;          case 'o':            gen.setOperations(getStringArg(g,""));            break;          case 's':            gen.setRandomGenerator(new java.util.Random((long) getStringArg(g,"").hashCode() ) );            break;        }      } catch (IllegalArgumentException x ) {        System.err.println("Option error: "+x.getMessage());      }    }    return g.getOptind();  }