fix JDK 8 compilation error