Fixed Java 7 compilation error