Switch to Java 7

As Java 6 is unsupported for the public since April 2013 and Java 7 was released nearly 3 years ago, we should finally abandon Java 6…