| <html> | |
| <body> | |
| Reports any <b>catch</b> parameters that are unused in their | |
| corresponding blocks. This inspection will not report any <b>catch</b> parameters | |
| named "ignore" or "ignored". Conversely this inspection will warn on any | |
| <b>catch</b> parameters named "ignore" or "ignored" that are actually used. | |
| <!-- tooltip end --> | |
| <p> | |
| Use the first checkbox below to disable this inspection for <b>catch</b> blocks with comments. | |
| <p> | |
| </body> | |
| </html> |