Yes, the Project SDK should include a bundled jdkAnnotations.jar with external annotations (Project Structure | SDKs | Annotations | .../jdkAnnotations.jar.), but it may be not complete. If you're missing something in it, please create an issue for IDEA team:
https://youtrack.jetbrains.com/issues/IDEA
Kotlin should take external annotations into account in IDE highlighting.