TCK should be able to report any inappropriate (unspecified) classes in a module.
It would helpful to have an API method that would list classes of a module,
The TCK would analyse the list of classes to figure out which are inappropriate.