}
}
- public String toString() { throw new RuntimeException("Message.toString() called"); }
- public String summary() { return "[" + envelopeFrom + " -> " + envelopeTo + "] " + subject; }
+ public String toString() { throw new RuntimeException("Message.toString() called"); }
+ public final String summary() { return "[" + envelopeFrom + " -> " + envelopeTo + "] " + subject; }
public static class Malformed extends MailException { public Malformed(String s) { super(s); } }
}