Annotation helpers, starting with @CheckThread to know in which thread a method is running