isJavaAppletMIMEType  176 Source/core/html/HTMLObjectElement.cpp     if (MIMETypeRegistry::isJavaAppletMIMEType(serviceType)) {
isJavaAppletMIMEType  251 Source/core/html/HTMLObjectElement.cpp     if (MIMETypeRegistry::isJavaAppletMIMEType(m_serviceType) && classId().startsWith("java:", false))
isJavaAppletMIMEType  440 Source/core/html/HTMLObjectElement.cpp     if (MIMETypeRegistry::isJavaAppletMIMEType(getAttribute(typeAttr)))
isJavaAppletMIMEType  446 Source/core/html/HTMLObjectElement.cpp                 && MIMETypeRegistry::isJavaAppletMIMEType(child->getAttribute(valueAttr).string()))
isJavaAppletMIMEType  532 Source/core/html/HTMLPlugInElement.cpp     if (MIMETypeRegistry::isJavaAppletMIMEType(mimeType) && !settings->javaEnabled())
isJavaAppletMIMEType   70 Source/platform/MIMETypeRegistry.h     static bool isJavaAppletMIMEType(const String& mimeType);