From 90e67979e78950dac5b395f30e5b68db1b074d23 Mon Sep 17 00:00:00 2001 From: Tagir Valeev Date: Thu, 13 Feb 2025 08:31:51 +0100 Subject: [PATCH] [java-inspections] UnreachableCatch: even more proofreading GitOrigin-RevId: f359d99ca532836c2d72db0118d58257081e5a2e --- .../resources/inspectionDescriptions/UnreachableCatch.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.