suppress JDK8 errors for #385