checker/tests/wpi-testchecker/non-annotated/CompoundTypeTest2.java - typetools/checker-framework - Git at Google

 public class CompoundTypeTest2 {
   private static int[] foo = new int[10];
   private static String[] bar = new String[10];
 }
	public class CompoundTypeTest2 {
	private static int[] foo = new int[10];
	private static String[] bar = new String[10];
	}