<property name="ignoreConstructorParameter" value="true" />
        <property name="ignoreSetter" value="true" />
        <property name="setterCanReturnItsClass" value="true"/>
        <property name="ignoreFormat" value="^(threadPool)$"/>
    </module>
    -->

    <!-- We don't use Java's builtin serialization and we suppress all warning
      about it. The flip side of that coin is that we shouldn't _try_ to use