Sjavac should track the presense of annotations. At least those which can affect compilation such as @RetentionPolicy, @Target, @Safevarargs etc.

Default values for annotation arguments needs to be tracked as well.