package java.util; import org.checkerframework.checker.nullness.qual.Nullable; public interface RandomAccess{ }