Switching from JDK 5 to JDK 7.