Brought into compliance with Java 1.7.