Finish conversion to Java 7
·
82 commits
to master
since this release
Add tool chain to ensure compilation with JDK 7; replace Java 8 implementation and libraries with equivalent Java 7