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 {}