[tor-bugs] #17823 [metrics-lib]: use diamond operator

[Tor Bug Tracker & Wiki]

#17823: use diamond operator
-----------------------------+---------------------
     Reporter:  iwakeh       |      Owner:  karsten
         Type:  enhancement  |     Status:  new
     Priority:  Low          |  Milestone:
    Component:  metrics-lib  |    Version:
     Severity:  Minor        |   Keywords:
Actual Points:               |  Parent ID:  #17822
       Points:               |    Sponsor:
-----------------------------+---------------------
 example:

 {{{
  List<byte[]> rawDescriptors = new ArrayList<>();
 }}}

 instead of
 {{{
  List<byte[]> rawDescriptors = new ArrayList<byte[]>();
 }}}

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