Fix inadvertent use of Java 7 syntax.