diff --git a/java/java-impl/resources/inspectionDescriptions/UnreachableCatch.html b/java/java-impl/resources/inspectionDescriptions/UnreachableCatch.html index 9d7e8dba0020..fb2b93555eaf 100644 --- a/java/java-impl/resources/inspectionDescriptions/UnreachableCatch.html +++ b/java/java-impl/resources/inspectionDescriptions/UnreachableCatch.html @@ -1,6 +1,6 @@ -Reports catch sections which are never executed, despite being allowed by the Java language specification. +Reports catch sections which are never executed, even if allowed by the Java Language Specification.

While unreachable catch sections are normally disallowed by Java compiler and reported as compilation errors, the analysis mandated by the Java language is not complete for some cases.