Added @GuardedBy and @Unguarded annotations.