checkers.lock
Classes 
LockAnnotatedTypeFactory
LockChecker
LockVisitor