Compile with Java 7, to be compatible with server.