checker/tests/nullness/PackageDecl.java

package foo.bar;

import org.checkerframework.checker.nullness.qual.*;

public class PackageDecl {}