} catch (NumberFormatException nfe) {
out.println(ERR_RESPONSE + " Usage: TOP [mail number] [Line number]");
return;
}
try {
MailImpl mc = (MailImpl) userMailbox.elementAt(num);
if (mc != DELETED) {
out.println(OK_RESPONSE + " Message follows");
for (Enumeration e = mc.getMessage().getAllHeaderLines(); e.hasMoreElements(); ) {
out.println(e.nextElement());
}
out.println("");
OutputStream nouts =
new ExtraDotOutputStream(
new SchedulerNotifyOutputStream(outs, scheduler,
this.toString(), lengthReset));
mc.writeContentTo(nouts, lines);
out.println(".");
} else {
out.println(ERR_RESPONSE + " Message (" + num + ") already deleted.");
}
} catch (IOException ioe) {