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