tree 5c5e807ed3f51e52ca2f574eabeaffafb20e1d46
parent 9b9386c76eea720c370174d6b227a959a2f008b0
author Daniel Kurka <dankurka@google.com> 1464798717 +0200
committer Daniel Kurka <dankurka@google.com> 1464869762 +0000

Work around a JDT boxing bug in Collectors.

Change-Id: Ib276fe30b987d55ba867619962baddc218825b47