If a module-info exists and it has the Nullmarked annotation, all packages contained within should be treated as though they are also Nullmarked unless they are NullUnmarked, and etc... you get it. I know this behavior is desired, so this is mostly just so it can be tracked.