use java 7

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