equal
deleted
inserted
replaced
52 * the sequence '@@'. |
52 * the sequence '@@'. |
53 */ |
53 */ |
54 public static String[] parse(String[] args) |
54 public static String[] parse(String[] args) |
55 throws IOException |
55 throws IOException |
56 { |
56 { |
57 ListBuffer<String> newArgs = new ListBuffer<String>(); |
57 ListBuffer<String> newArgs = new ListBuffer<>(); |
58 for (String arg : args) { |
58 for (String arg : args) { |
59 if (arg.length() > 1 && arg.charAt(0) == '@') { |
59 if (arg.length() > 1 && arg.charAt(0) == '@') { |
60 arg = arg.substring(1); |
60 arg = arg.substring(1); |
61 if (arg.charAt(0) == '@') { |
61 if (arg.charAt(0) == '@') { |
62 newArgs.append(arg); |
62 newArgs.append(arg); |