The index now uses a System Property(-DCASE_SENSITIVE=yes) in order to ensure that on Jenkins it is sorted differently from our local machines.