Expressed the thread-safety annotations in code, replacing the existing comment-based system (by Aaron Jacobs).