make Message.summary() final
authoradam <adam@megacz.com>
Mon, 15 Jan 2007 08:12:49 +0000 (08:12 +0000)
committeradam <adam@megacz.com>
Mon, 15 Jan 2007 08:12:49 +0000 (08:12 +0000)
darcs-hash:20070115081249-5007d-a72809898814510539f370267c2d868a658f78f0.gz

src/org/ibex/mail/Message.java

index d6ef538..6738dc8 100644 (file)
@@ -165,8 +165,8 @@ public class Message extends MIME.Part {
         }
     }
 
-    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); } }
 }