Only enable checks for a project if all its dependencies have checks enabled, in order to avoid back-and-forth when refining the annotations.

Avoid writing the so-called `PolyNull` or `ParametricNull` methods (where nullability of the result depends on the nullability of the type argument).

            -->
            <property name="illegalPkgs" value="jdk.internal,com.beust,org.testng.collections"/>
            <!--
                We prefer org.jspecify for nullability annotations.
            -->
            <property name="illegalClasses" value="org.jetbrains.annotations.Nullable,org.jetbrains.annotations.NotNull"/>
        </module>

        <!-- Naming -->