Details
Description
Change abea19b822bb7cb0181f4c308d396732dce274ea introduced SearchResults.isEmpty() without @JsonIgnore, so any call to serach Rest api will return
{"empty":true or false}.
SearchResults.isEmpty() is never used, so it could be deleted to solve the issue.