Add test for ClassCastException

The new test checks that a ClassCastException is correctly caught if the
catch block specifies one of its superclasses.

Author: antlechner

regression/cbmc-java/ClassCastException3/A.class

@@ -0,0 +1,15 @@
+class A {}
+
+class B {}
+
+public class ClassCastExceptionTest {
+  public static void main(String args[]) {
+      try {
+          Object a = new A();
+          B b = (B)a;
+      }
+      catch (Exception exc) {
+          assert false;
+      }
+  }
+}

regression/cbmc-java/ClassCastException3/B.class

@@ -0,0 +1,4 @@
+package java.lang;
+
+public class ClassCastException extends RuntimeException {
+}

regression/cbmc-java/ClassCastException3/ClassCastExceptionTest.class

@@ -0,0 +1,4 @@
+package java.lang;
+
+public class RuntimeException extends Exception {
+}

regression/cbmc-java/ClassCastException3/ClassCastExceptionTest.java

@@ -0,0 +1,9 @@
+CORE
+ClassCastExceptionTest.class
+--java-throw-runtime-exceptions
+^EXIT=10$
+^SIGNAL=0$
+^.*assertion at file ClassCastExceptionTest.java line 12 function.*: FAILURE$
+^VERIFICATION FAILED$
+--
+^warning: ignoring