framework/jtreg/issue845/checker/NotInPackageChecker.java

import org.checkerframework.common.basetype.BaseTypeChecker;

/**
 * Checker that is in the default package. This tests for Issue 845:
 * https://github.com/typetools/checker-framework/issues/845
 */
public class NotInPackageChecker extends BaseTypeChecker {}