public ArgParser(List<String> args)
{
+ // do nothing if there are no "--" args and some "-" args
+ boolean d = false;
+ boolean dd = false;
+ for (String arg : args)
+ {
+ if (arg.startsWith(DOUBLEDASH))
+ {
+ dd = true;
+ break;
+ }
+ else if (arg.startsWith("-"))
+ {
+ d = true;
+ }
+ }
+ if (d && !dd)
+ {
+ // leave it to the old style -- parse an empty list
+ parse(new ArrayList<String>());
+ return;
+ }
parse(args);
}