Fix build on OpenJDK7