Fixed a JDK 7 warning.