checker/jtreg/issue1133/ClassB.java - typetools/checker-framework - Git at Google

 public class ClassB {
   public void test() {
     Object @Nullable [] o;
   }
 }
	public class ClassB {
	public void test() {
	Object @Nullable [] o;
	}
	}