Updates:
Status: Invalid
Comment #2 on issue 611 by anquetil...(a)gmail.com: VerveineJ does not export
all Annotations
http://code.google.com/p/moose-technology/issues/detail?id=611
It seems this is due to JDT's name resolution (again, see issue #638)
JDT does not "record" an annotation instance unless it knows about the
AnnotationType.
So do get all annotation instances, one would need to put in verveineJ
classpath the path to where the required annotations are defined.
I could get the various JUnit annotations that way.
For the spring annotation, I don't have the jar here to test.