[tor-bugs] #25217 [Metrics]: metrics-base: Update checkstyle to debian stable

[Tor Bug Tracker & Wiki]

#25217: metrics-base: Update checkstyle to debian stable
-------------------------+-----------------------------
 Reporter:  iwakeh       |          Owner:  karsten
     Type:  enhancement  |         Status:  merge_ready
 Priority:  Low          |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Minor        |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:  irl          |        Sponsor:
-------------------------+-----------------------------
Changes (by irl):

 * status:  needs_review => merge_ready


Comment:

 Ah ok, should have looked at all the tickets first.

 This looks good to me.

 It is probable that the error is that the antlr version used to build the
 jar in debian was older, and then was later updated without the checkstyle
 jar being rebuilt.

 I will ask that the jar is rebuilt.

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