idea search now works
Merge branch 'jersey' of https://github.com/utwente-di/di05 into jersey