A clean-room implementation of the findbugs annotations released under the Apache License, version 2.0