[tor-bugs] #18792 [Metrics/CollecTor]: tweak build.xml for new tasks and java 7

[Tor Bug Tracker & Wiki]

#18792: tweak build.xml for new tasks and java 7
-------------------------------+------------------------------
 Reporter:  iwakeh             |          Owner:  iwakeh
     Type:  enhancement        |         Status:  needs_review
 Priority:  Medium             |      Milestone:
Component:  Metrics/CollecTor  |        Version:
 Severity:  Normal             |     Resolution:
 Keywords:  ctip               |  Actual Points:
Parent ID:  #18707             |         Points:
 Reviewer:                     |        Sponsor:
-------------------------------+------------------------------
Changes (by iwakeh):

 * status:  needs_revision => needs_review


Comment:

 Thanks for the feedback!
 I attached a
 [https://trac.torproject.org/projects/tor/attachment/ticket/18792/0001-implements-18792.patch%E2%80%8B
 new patch].
 * with a shorter comment
 * without the leading spaces you noticed, but some of these lines are
 actually new

 The jardoc jar is used by some IDEs for providing the javadoc. So, it will
 be useful.
 I'll add javadoc jar to the release ticket and your question about what to
 include in the executable jar to the corresponding ticket. Here I just
 wanted to 'modernize' the build tasks for the immediate further
 development in the ctip project.

 (PS: I noticed that trac does not display syntax coloring for the new
 patch, but I cannot see why and the patch format seems ok.)

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