Actually fix building with OpenJDK