[tor-bugs] #19620 [Metrics/Metrics website]: all metrics-web java projects should use java 8

[Tor Bug Tracker & Wiki]

#19620: all metrics-web java projects should use java 8
-------------------------------------+-------------------------------
 Reporter:  iwakeh                   |          Owner:  (none)
     Type:  enhancement              |         Status:  needs_review
 Priority:  High                     |      Milestone:  Metrics 2.0.0
Component:  Metrics/Metrics website  |        Version:
 Severity:  Normal                   |     Resolution:
 Keywords:                           |  Actual Points:
Parent ID:  #19617                   |         Points:
 Reviewer:                           |        Sponsor:
-------------------------------------+-------------------------------
Changes (by karsten):

 * priority:  Medium => High
 * status:  new => needs_review


Comment:

 Hmmm, looks like some of the changes in #19730 actually required Java 8
 which my IDE already uses but which our Ant scripts don't use yet. Can we
 simply upgrade now? [https://gitweb.torproject.org/karsten/metrics-
 web.git/commit/?h=task-19620&id=9c183f371cf94d6d01ec889a770939f218d30d6e
 Here's a very short, 1-character-only patch]. (Otherwise I'll have to
 partially revert #19730, and that would be sad.) Raising priority, because
 master currently doesn't build. Oops.

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