checker/jtreg/nullness/annotationsOnExtends/Test2.java

public class Test2 extends Object {}