@Override
  public @NotNull List<String> getNullabilityAnnotations(@NotNull Nullability nullability) {
    return switch (nullability) {
      case NOT_NULL -> Arrays.asList("org.checkerframework.checker.nullness.qual.NonNull",
                                     "org.checkerframework.checker.nullness.compatqual.NonNullDecl",
                                     "org.checkerframework.checker.nullness.compatqual.NonNullType");
      case NULLABLE -> Arrays.asList("org.checkerframework.checker.nullness.qual.Nullable",
                                     "org.checkerframework.checker.nullness.compatqual.NullableDecl",
                                     "org.checkerframework.checker.nullness.compatqual.NullableType");
      default -> Collections.singletonList("org.checkerframework.checker.nullness.qual.MonotonicNonNull");
    };
  }
@Override
  public @NotNull List<String> getNullabilityAnnotations(@NotNull Nullability nullability)