String auto = m.headers.get("auto-submittted");
if (auto!=null && !auto.equals("no")) return null;
- String precedence = m.headers.getLowerCaseTrimmed("precedence");
+ String precedence = m.headers.get("precedence");
+ if (precedence != null) precedence = precedence.trim().toLowerCase();
if ("bulk".equals(precedence)) return null;
if ("list".equals(precedence)) return null;
if ("junk".equals(precedence)) return null;
if (m.envelopeFrom.user.endsWith("-request")) return null;
if (m.envelopeFrom.user.startsWith("owner-")) return null;
if (m.envelopeFrom.description.equalsIgnoreCase("mailer-daemon")) return null;
- for(Enumeration e = m.headers.names(); e.hasMoreElements();) {
- String key = (String)e.nextElement();
+ for(String key : m.headers.getHeaderNames())
if (key.toLowerCase().startsWith("list-")) return null;
- }
// SHOULD NOT issue the same response to the same sender more
// than once within a period of several days, even though that