[tor-bugs] #17822 [metrics-lib]: use java 7 features in metrics-lib

[Tor Bug Tracker & Wiki]

#17822: use java 7 features in metrics-lib
-----------------------------+---------------------
     Reporter:  iwakeh       |      Owner:  karsten
         Type:  enhancement  |     Status:  new
     Priority:  Low          |  Milestone:
    Component:  metrics-lib  |    Version:
     Severity:  Minor        |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |    Sponsor:
-----------------------------+---------------------
 This is the summary issue.
 Each topic is added as a child issue.

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