@GuardedBy, @ThreadSafe, @NotThreadSafe

Я вижу, что приведенные выше аннотации широко используются в книге JCIP. Я думаю, что это действительно полезно, потому что даже при отсутствии надлежащей документации в нем кое-что говорится о политиках синхронизации. Я также вижу, что Intellij Idea использует эти аннотации. Действительно ли они теперь являются частью самого языка Java?