checker/tests/nullness-extra/package-anno/test/PackageAnnotationTest.java - typetools/checker-framework - Git at Google

 package test;

 public class PackageAnnotationTest {
   // Allowed because of package annotation.
   Object f = null;
 }
	package test;

	public class PackageAnnotationTest {
	// Allowed because of package annotation.
	Object f = null;
	}