Update various class-file checking code quality tools to versions suitable for Java 7.