Improves annotation support (#161)

[jpf-core.git] / src / classes / java / lang / reflect / Method.java

diff --git a/src/classes/java/lang/reflect/Method.java b/src/classes/java/lang/reflect/Method.java
index e782d4434877f71ae42d825ebfc9102cfefb3667..40b188867a2131c97c6c36dabb7a14bb6db27774 100644 (file)
--- a/src/classes/java/lang/reflect/Method.java
+++ b/src/classes/java/lang/reflect/Method.java
@@ -65,9 +65,7 @@ public final class Method extends AccessibleObject implements Member {
 
   // for Annotations - return the default value of the annotation member
   // represented by this method
-  public Object getDefaultValue() {
-    throw new UnsupportedOperationException("Method.getDefaultValue() not supported yet");
-  }
+  public native Object getDefaultValue();
 
   @Override
   public native boolean equals (Object obj);