The @Deprecated annotation is covered in JLS 9.6.4.6:

http://docs.oracle.com/javase/specs/jls/se8/html/jls-9.html#jls-9.6.4.6

Of particular note is the change proposed by JDK-8145471 to add a new "lint" category to handle warnings about for-removal deprecations. This JLS section mentions only @SuppressWarnings("deprecation"). It would need to be updated to mention this new category, or at least to allow for the possibility of a different string being necessary here.