Rename exception because of checkstyle

Author: BaierD

src/org/sosy_lab/java_smt/solvers/cvc5/CVC5FloatingPointFormulaManager.java

@@ -416,9 +416,9 @@ protected Term fromIeeeBitvectorImpl(Term pBitvector, FloatingPointType pTargetT
               pTargetType.getExponentSize(),
               pTargetType.getMantissaSize() + 1), // add sign bit
           pBitvector);
-    } catch (CVC5ApiException pE) {
+    } catch (CVC5ApiException pCVC5ApiException) {
       // This seems to only be thrown for wrong exponent and mantissa sizes
-      throw new RuntimeException(pE);
+      throw new RuntimeException(pCVC5ApiException);
     }
   }