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

mernst wants to merge 6 commits intotypetools:mastertypetools/checker-framework:masterfrom

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