checker/jtreg/nullness/inheritDeclAnnoPersist/AbstractClass.java

import org.checkerframework.checker.nullness.qual.EnsuresNonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public abstract class AbstractClass {
  @Nullable Object f;

  @EnsuresNonNull("f")
  public abstract void setf();

  public abstract void setg();
}