As it stands, some tools still rely on these annotations which are now vended by a 3rd party. Some tools interpret the annotations differently than others, or use their own similar-yet-different annotations. Lacking a standard, it's impossible to have reliable analysis across multiple projects.
Java 8’s new Optional type is worthless
W. Brian Gourlie
12814

Agreed! However they have made it possible for 3rd parties to extend the Java typesystem. The Checker Framework is particularly cool and might be what you’re asking for:

http://types.cs.washington.edu/checker-framework/

Unfortunately it doesn’t play nicely with some other modern Java essentials such as Lombok.