fixed compilation error on jdk7