Compatibility with Java 1.7