fix openjdk7