(String[] args)
| 260 | }; |
| 261 | |
| 262 | public static List<String> processCommandLine(String[] args){ |
| 263 | List<String> arglist = Arrays.asList(args); |
| 264 | int split = arglist.indexOf("--"); |
| 265 | if(split >= 0) { |
| 266 | CMD_LINE_ARGS.bindRoot(RT.seq(arglist.subList(split + 1, args.length))); |
| 267 | return arglist.subList(0, split); |
| 268 | } |
| 269 | return arglist; |
| 270 | } |
| 271 | |
| 272 | // duck typing stderr plays nice with e.g. swank |
| 273 | public static PrintWriter errPrintWriter(){ |