Is there any reason not to do the JavacElements.getAnnotation thing here, rather than go through this for loop?