202003050024

Do not warn on an unmatched operators for Java overrides.  Most users of

CommunityModules only use a subset of all operators and we don't want to
bother them about all the ops that don't appear in their specs.

See tlaplus commit
https://github.com/tlaplus/tlaplus/commit/ad4ce6133bfbaa53d3b80f6d92a7d947b8a30c80