fix openjdk bug