| <html> |
| <body> |
| Reports parameters that have different names from the corresponding |
| parameters in the methods they override. While legal in Java, such inconsistent names may be confusing, |
| and lessen the documentation benefits of good naming practices. |
| <!-- tooltip end --> |
| <p> |
| Use the checkboxes below to indicate whether overridden parameter names which are only |
| a single character long or come from a library method should be ignored. Both can be useful if |
| you do not wish to be bound by dubious naming conventions used in libraries. |
| <p> |
| |
| </body> |
| </html> |
