- Headers head = new Headers.Original(m.headers.getStream());
- head = head.set("List-Id", one_line_description + "<"+address+">");
- head = head.set("Subject", properties.get("prefix") + " " + head.get("Subject"));
+ Headers head = new Headers(m.headers,
+ new String[] {
+ "List-Id", one_line_description + "<"+address+">",
+ "Subject", properties.get("prefix") + " " + m.headers.get("Subject")
+ });