- case ARRIVAL: return (latest == null || it.cur().arrival.before(latest)) &&
- (earliest == null || it.cur().arrival.after(earliest));
- case SIZE: return it.cur().rfc822size() >= min && it.cur().rfc822size() <= max;
- case HEADER: return it.cur().headers.get(key) != null && ((String)it.cur().headers.get(key)).indexOf(text) != -1;
- case BODY: return it.cur().body.indexOf(text) != -1;
- case FULL: return it.cur().body.indexOf(text) != -1 || it.cur().allHeaders.indexOf(text) != -1;
+ case ARRIVAL: return (latest == null || it.cur().envelope.arrival.before(latest)) &&
+ (earliest == null || it.cur().envelope.arrival.after(earliest));
+ case SIZE: return it.cur().size() >= min && it.cur().size() <= max;
+ case HEADER: return it.cur().headers.get(key) != null &&
+ ((String)it.cur().headers.get(key)).toLowerCase().indexOf(text.toLowerCase()) != -1;
+ case BODY: return it.cur().body.toLowerCase().indexOf(text.toLowerCase()) != -1;
+ case FULL: return it.cur().body.toLowerCase().indexOf(text.toLowerCase()) != -1 ||
+ it.cur().headers.raw.indexOf(text) != -1;