Tue, 20 Aug 2013 17:21:47 +0200
8019243: AnnotationTypeMismatchException instead of MirroredTypeException Reviewed-by: jjg