fix compile error with JDK > 1.6