Fix a JDK8 build error