Java 7 fix