!7

import com.google.code.javax.mail.search.GmailRawSearchTerm;

static Message[] msgs;

p {
  Folder inbox = googleCode_gmail_inbox();
  inbox.open(Folder.READ_ONLY);
  time {
    // Strangely, there is no option to limit the number of results
    // returned...
    msgs = inbox.search(new GmailRawSearchTerm("Bruno"));
  }
  print("Found " + n2(msgs, "message"));
}