Merge "Annotate Map, Map.Entry, and HashMap."