[tor-bugs] #18707 [CollecTor]: use java 7

[Tor Bug Tracker & Wiki]

#18707: use java 7
---------------------------+------------------
     Reporter:  iwakeh     |      Owner:
         Type:  task       |     Status:  new
     Priority:  Medium     |  Milestone:
    Component:  CollecTor  |    Version:
     Severity:  Minor      |   Keywords:  ctip
Actual Points:             |  Parent ID:
       Points:             |   Reviewer:
      Sponsor:             |
---------------------------+------------------
 * adapt build.xml
 * identify necessary changes (e.g. coding style, applying java 7 features)
 * make the appropriate in all sources

 Any non-trivial code changes should only be done after addition of test
 cases.

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