*/
public void writeOverview(OutputStream out) {
FileInputStream fileStream = null;
try {
fileStream = new FileInputStream(articleFile);
InternetHeaders hdr = new InternetHeaders(fileStream);
String subject = hdr.getHeader("Subject",null);
String author = hdr.getHeader("From",null);
String date = hdr.getHeader("Date",null);
String msgId = hdr.getHeader("Message-Id",null);
String references = hdr.getHeader("References",null);
long byteCount = articleFile.length();
// get line count, if not set, count the lines
String lineCount = hdr.getHeader("Lines",null);
if (lineCount == null) {
BufferedReader rdr = new BufferedReader(new FileReader(fileStream.getFD()));
int lines = 0;
while (rdr.readLine() != null) {
lines++;