analysis / annotations

Change-Id: I3f4ec51a4a27dd26b25c84ecfe78b82cd8a872ad
Signed-off-by: Stephan Herrmann <stephan.herrmann@berlin.de>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/184384
Tested-by: JDT Bot <jdt-bot@eclipse.org>