[tor-bugs] #25699 [Metrics/Website]: Make `ant war` run faster and the resulting .war file smaller

[Tor Bug Tracker & Wiki]

#25699: Make `ant war` run faster and the resulting .war file smaller
---------------------------------+--------------------------
     Reporter:  karsten          |      Owner:  metrics-team
         Type:  enhancement      |     Status:  new
     Priority:  Medium           |  Milestone:
    Component:  Metrics/Website  |    Version:
     Severity:  Normal           |   Keywords:
Actual Points:                   |  Parent ID:
       Points:                   |   Reviewer:
      Sponsor:                   |
---------------------------------+--------------------------
 A couple months back (commit ccbcb09), before we switched to embedded
 Jetty (#24175), creating the .war file ran much faster and produced a much
 smaller .war file than it does now: '''4 seconds and 9.6M'''

 After we switched to embedded Jetty (commit 940e00c), this changed: '''71
 seconds, 18M'''

 Today, after including Relay Search (cf. #25392 and child), it takes a
 tiny bit longer and produces an even larger .war file: '''73 seconds,
 27M'''

 Is there an easy way to improve both, performance and size?

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