Fix compilation issue with Java 7