avoid JDK1.8.0_25's compilation bug