External annotations will only be considered in the IDE for additional
inspections based on more precise types in Java libraries