Added @MaybeNotHolding and @MaybeNotGuardedBy annotations.