Fix for compilation on Java 1.6 (yuk!)