[tor-commits] [onionoo/master] Switch to Java 7.