Bump Java source and target level to 7

Java 7 was released on July 28 2011.
Java 8 is expected in March 2014.