@NullUnmarked
final class UnannotatedJavaClass {
  // The Checker Framework assumes that unannotated types are non-null instead of unspecified.
  @SuppressWarnings("nullness:return.type.incompatible")
  static Object getNull() {
    return null;
  }

  private UnannotatedJavaClass() {}