in util/src/main/java/org/apache/jsieve/util/check/ScriptCheckMailAdapter.java [170:188]
public List<String> getHeaderNames() throws SieveMailException {
List<String> results = Collections.EMPTY_LIST;
if (mail != null) {
try {
results = new ArrayList<String>();
for (final Enumeration<?> en = mail.getAllHeaders(); en
.hasMoreElements(); ) {
final Header header = (Header) en.nextElement();
final String name = header.getName();
if (!results.contains(name)) {
results.add(name);
}
}
} catch (MessagingException e) {
throw new SieveMailException(e);
}
}
return results;
}