Fix JDK 1.7  compilation error