Updated to support running on JDK 1.5, and fixed related bug#82218

2 files changed, 11 insertions, 1 deletions

diff --git a/ajdoc/testdata/coverage/foo/ModelCoverage.java b/ajdoc/testdata/coverage/foo/ModelCoverage.java
index 5c14055c6..b05d7bc72 100644
--- a/ajdoc/testdata/coverage/foo/ModelCoverage.java
+++ b/ajdoc/testdata/coverage/foo/ModelCoverage.java
@@ -119,7 +119,7 @@ aspect DeclareCoverage {
     declare warning: call(* Point.setX(..)): "Illegal call.";
 
     declare parents: Point extends java.io.Serializable;
-    declare parents: Point+ implements java.util.Observable;
+//    declare parents: Point+ implements java.util.Observable;
 	declare parents: Point && Line implements java.util.Observable;
     declare soft: SizeException : call(* Point.getX());
 	declare precedence: AdviceCoverage, InterTypeDecCoverage, *;
diff --git a/ajdoc/testdata/coverage/foo/NoMembers.java b/ajdoc/testdata/coverage/foo/NoMembers.java
new file mode 100644
index 000000000..d8dfcb3ce
--- /dev/null
+++ b/ajdoc/testdata/coverage/foo/NoMembers.java
@@ -0,0 +1,10 @@
+/*
+ * Created on Jan 12, 2005
+ */
+
+/**
+ * @author Mik Kersten
+ */
+public class NoMembers {
+
+}