[bugfix] Fix jetty settings: do not globally change configuration for all contexts. Causes some servlets to be initialized multiple times.
Merge pull request #192 from wolfgangmm/develop

[bugfix] Fix jetty settings: do not globally change configuration for
Merge pull request #191 from dizzzz/develop

Upgrade of TIKA  content extraction library to v1.5
[bugfix] - new rangeindex: transform search string to lowercase if configuration says case='no'
Merge pull request #193 from zwobit/develop

[bugfix] - new rangeindex:
Merge pull request #196 from dizzzz/develop

Extend XqueryStartupTrigger