Fixes #5725: change target of compilation to Java 7