private String stringify(ResolvedType resolvedAnnotationType) {
   return "@" + resolvedAnnotationType.getSimpleName();
 }