299300301302303304305306307308309
usageError("main.requires_argument", s); ListBuffer listbuffer3 = new ListBuffer(); for (int i1 = 0; i1 < j - 1; i1++) listbuffer3.append(as[++i]); setOption(s, listbuffer3.toList()); } else { listbuffer.append(s); } }