suppress JDK8 errors and warnings for #93