Another workaround for OpenJDK 7.