Fix compilation error on openjdk6