compilation now works with OpenJDK