checkers.jcip.quals
Annotation Types 
GuardedBy
Holding
Immutable
NotThreadSafe
ThreadSafe