[tor-commits] [metrics-web/master] Use Java 7's diamond operator wherever possible.