Don't write irrelevant annotations in .ajava files#6254

mernst wants to merge 19 commits into

typetools:mastertypetools/checker-framework:masterfrom

mernst:dont-insert-irrelevantmernst/checker-framework:dont-insert-irrelevantCopy head branch name to clipboard