Fix Java 7 warning.