Implements #1253

Conflicts:
	src/main/java/com/jaeksoft/searchlib/filter/FilterList.java
Merge pull request #1263 from emmanuel-keller/master

Implements #1253