2 files changed, 19 insertions, 0 deletions
diff --git a/tests/bugs/concretizeNpe/base/ExceptionHandling.java b/tests/bugs/concretizeNpe/base/ExceptionHandling.java
new file mode 100644
index 000000000..5f63ad61a
--- /dev/null
+++ b/tests/bugs/concretizeNpe/base/ExceptionHandling.java
@@ -0,0 +1,6 @@
+package base;
+
+public abstract aspect ExceptionHandling {
+    public abstract pointcut scope();
+    declare soft: Exception: scope();
+}
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
+}