Added targets of @GuardedBy and @Holding. Removed useless @Unguarded.