// Keep this in sync with the extensions in plugin.xml.
if (WSDLPlugin.getPlugin() == null)
{
ExtensibilityElementFactoryRegistry registry = WSDLPlugin.INSTANCE.getExtensibilityElementFactoryRegistry();
ExtensibilityElementFactory eef = new MessagepropertiesExtensibilityElementFactory();
registry.registerFactory(MessagepropertiesConstants.NAMESPACE_2004, eef);
registry.registerFactory(MessagepropertiesConstants.NAMESPACE_2007, eef);
}