// Retrieve all SpecCompliance-typed declarations and extract SpecCompliant annotations
Collection<Declaration> moreDeclarations = env.getDeclarationsAnnotatedWith(specCompliantCollectionAnnotation);
System.out.println("number of @SpecCompliance: " + moreDeclarations.size());
for (Declaration declaration : moreDeclarations) {
final SpecCompliance compliance = declaration.getAnnotation(SpecCompliance.class);
final SpecCompliant[] specCompliants = compliance.compliant();
for (SpecCompliant specCompliant : specCompliants) {
if (specCompliant == null) continue;
final SpecDoc doc = new SpecDoc(declaration, specCompliant);
map.put(doc.getKey(), doc);