This annotation means that the check does not contain mutable state and
may be safely used from others threads at the same time.
The check does not contain mutable state, if it does not change any field values at the
execution stage (but it still can set properties at the initialization stage).
Checker guarantees that there will be exactly one check instance during the audit.
This also means, that all files will be processed by the same check instance.