JSR-305 ideas for java annotations

I just came across article on the InfoQ discussing JSR-305. The JSR proposes introduction of new annotations ,which are to benefit defect detection tools.

Is it not great to see good trends converge? As Spec# is this JSRs' equivalent in .NET