Fixed a compile error on openjdk/ubuntu