[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        |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
  Sponsor:               |
-------------------------+-------------------------

Comment (by iwakeh):

 I think these task should be tackled whenever the respective sources are
 touched anyway.

 Bigger changes for example DescriptorImpl should be attempted whenever
 there is time available.
 This surely concerns #17824 and partially also #17823.

 Are there coding guidelines here? If not, these could be copied from
 Onionoo and extended.
 (Well, actually the child ticket's topics concern Onionoo too.

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