to make it compile under both jdk6 and 7