Compilation fix for Java 7