[metrics-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:  needs_information
 Priority:  Low          |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Minor        |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:  irl          |        Sponsor:
-------------------------+-----------------------------------
Changes (by karsten):

 * status:  merge_ready => needs_information


Comment:

 Replying to [comment:9 irl]:
 > Ah ok, should have looked at all the tickets first.
 >
 > This looks good to me.

 Great!

 > 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.

 Oh, does it make sense to wait until this has happened, or should we just
 move ahead, accept the warning, and upgrade if there's a newer checkstyle
 jar around that removes the warning for us? What's your preference?

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