Compatibility with Java 7