docs: @Nullable
      @Override
      public final List<Difference> visitAnnotation(@Nullable JavaAnnotationElement oldAnnotation,
          @Nullable JavaAnnotationElement newAnnotation) {
          depth++;
          List<Difference> ret = doVisitAnnotation(oldAnnotation, newAnnotation);
          depth--;
          return ret;
      }