fix Java 1.7 warning