| changeset 580 | 67d1680588db |
| parent 578 | 1536b3881809 |
| child 677 | b8d5e0378bcb |
| 579:9c08b0277c58 | 580:67d1680588db |
|---|---|
85 </module> |
85 </module> |
86 --> |
86 --> |
87 |
87 |
88 <!-- Header file --> |
88 <!-- Header file --> |
89 <module name="RegexpHeader"> |
89 <module name="RegexpHeader"> |
90 <property name="headerFile" value="JavaHeaderCheck.regex"/> |
90 <property name="headerFile" value="tools/JavaHeaderCheck.regex"/> |
91 <property name="multiLines" value="5, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38"/> |
91 <property name="multiLines" value="5, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38"/> |
92 <property name="severity" value="error" /> |
92 <property name="severity" value="error" /> |
93 </module> |
93 </module> |
94 |
94 |
95 <module name="TreeWalker"> |
95 <module name="TreeWalker"> |