fix Java 7