1441:c78acf6c2f3e | 1442:fcf89720ae71 |
---|---|
145 boolean isHidden() { | 145 boolean isHidden() { |
146 return true; | 146 return true; |
147 } | 147 } |
148 } | 148 } |
149 | 149 |
150 static Option[] recognizedOptions = { | 150 static final Option[] recognizedOptions = { |
151 new Option(true, "-o") { | 151 new Option(true, "-o") { |
152 void process(JavahTask task, String opt, String arg) { | 152 void process(JavahTask task, String opt, String arg) { |
153 task.ofile = new File(arg); | 153 task.ofile = new File(arg); |
154 } | 154 } |
155 }, | 155 }, |