Minor change for Java 6 compatibility