1 files changed, 13 insertions, 0 deletions
diff --git a/tests/bugs/concretizeNpe/model/ModelExceptionHandling.java b/tests/bugs/concretizeNpe/model/ModelExceptionHandling.java
new file mode 100644
index 000000000..0778aec22
--- /dev/null
+++ b/tests/bugs/concretizeNpe/model/ModelExceptionHandling.java
@@ -0,0 +1,13 @@
+
+package model;
+
+import java.lang.RuntimeException;
+
+import base.ExceptionHandling;
+
+public aspect ModelExceptionHandling extends ExceptionHandling {
+    public pointcut scope() : within(*);
+
+    protected RuntimeException convertCheckedException(Throwable t) {
+        return new RuntimeException(t.getMessage(),t
+}