PackageDecl.java

package foo.bar;

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

class PackageDecl {}