Some style fixes in mail.java.