|
|
|
|
|
|
|
|
|
|
|
|
|
|
protected ExtensionFinder createExtensionFinder() { |
|
|
protected ExtensionFinder createExtensionFinder() { |
|
|
DefaultExtensionFinder extensionFinder = (DefaultExtensionFinder) super.createExtensionFinder(); |
|
|
DefaultExtensionFinder extensionFinder = (DefaultExtensionFinder) super.createExtensionFinder(); |
|
|
extensionFinder.addServiceProviderExtensionFinder(); |
|
|
|
|
|
|
|
|
extensionFinder.addServiceProviderExtensionFinder(); // to activate "HowdyGreeting" extension |
|
|
|
|
|
|
|
|
return extensionFinder; |
|
|
return extensionFinder; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
}; |
|
|
}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// load the plugins |
|
|
// load the plugins |
|
|
pluginManager.loadPlugins(); |
|
|
pluginManager.loadPlugins(); |
|
|
|
|
|
|