Fix building with open jdk 7