Don't output top annotations to .ajava files#6432

mernst wants to merge 10 commits into

typetools:mastertypetools/checker-framework:masterfrom

mernst:ainfer-no-topmernst/checker-framework:ainfer-no-topCopy head branch name to clipboard