Compilation fix/openjdk6