[metrics-bugs] #21535 [Metrics]: Use Java 7's diamond operator wherever possible

[Tor Bug Tracker & Wiki]

#21535: Use Java 7's diamond operator wherever possible
-----------------------------+--------------------------
     Reporter:  karsten      |      Owner:  metrics-team
         Type:  enhancement  |     Status:  new
     Priority:  Medium       |  Milestone:
    Component:  Metrics      |    Version:
     Severity:  Normal       |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |   Reviewer:
      Sponsor:               |
-----------------------------+--------------------------
 I'll shortly attach three branches that use Java 7's diamond operator
 wherever possible in ExoneraTor, CollecTor, and Metrics.  We already did
 this in Onionoo and metrics-lib, so that there aren't any metrics code
 bases left where we'd need to do this.

 Note that I didn't touch any nearby code.  There's lots to be cleaned up.
 But let's do one thing at a time.

 This was on my local TODO list for a while, and it seemed easiest to just
 make these changes and be able to cross out yet another item.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21535>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online