| changeset 40232 | 4995ab1a4558 |
| parent 37758 | 3ecf9b414e05 |
| child 40308 | 274367a99f98 |
| 40231:ba38ad2dd137 | 40232:4995ab1a4558 |
|---|---|
69 } |
69 } |
70 |
70 |
71 Path[] findJavaFiles(Path... paths) throws IOException { |
71 Path[] findJavaFiles(Path... paths) throws IOException { |
72 return tb.findJavaFiles(paths); |
72 return tb.findJavaFiles(paths); |
73 } |
73 } |
74 |
|
75 void error(String message) { |
|
76 out.println("Error: " + message); |
|
77 errors++; |
|
78 } |
|
79 |
|
80 } |
74 } |