227228229230231232233234235
return plugin; } public ContextInformationProvider getContextInformationProvider() { if (_contextInformationProvider == null) { _contextInformationProvider = new HTTPContextInformationProvider(); } return _contextInformationProvider; }