Fix for OpenJDK7