private static boolean isCatchParameterRedundant( PsiClassType catchParamType, Collection<PsiClassType> thrownTypes) { for (PsiType exceptionType : thrownTypes) { if (exceptionType.isConvertibleFrom(catchParamType)) return false; } return true; }