follow-up of r222: JCLmin needs more classes.

2 files changed, 12 insertions, 0 deletions

diff --git a/othersrc/JCLMin1.5/src/java/lang/Class.java b/othersrc/JCLMin1.5/src/java/lang/Class.java
index c3bccc240..2163dd3b5 100644
--- a/othersrc/JCLMin1.5/src/java/lang/Class.java
+++ b/othersrc/JCLMin1.5/src/java/lang/Class.java
@@ -3,4 +3,5 @@ package java.lang;
 public class Class<T> {

 	public String getName() { return null; }

 	public boolean isInstance(Object o) { return false; }

+	public boolean isAssignableFrom (Class<?> other) { return false; }

 }

diff --git a/othersrc/JCLMin1.5/src/java/lang/Override.java b/othersrc/JCLMin1.5/src/java/lang/Override.java
new file mode 100644
index 000000000..16932c513
--- /dev/null
+++ b/othersrc/JCLMin1.5/src/java/lang/Override.java
@@ -0,0 +1,11 @@
+package java.lang;
+
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+
+@Target(ElementType.METHOD)
+@Retention(RetentionPolicy.SOURCE)
+public @interface Override {
+}
\ No newline at end of file