fix #967: Suppress error-prone PreferCollectionConstructors on jdk13#968

Merged

bulldozer-bot[bot] merged 2 commits intodevelopfrom ckozak/PreferCollectionConstructors_jdk13

Oct 15, 2019

+6

Commits on Oct 15, 2019