!752

static int numMsgs = 10;

p {
  veryBigConsole();
  if (empty(gmailDefaultUser())) {
    print("Run #1005140 to set gmail user name!");
    ret;
  }
  
  Folder inbox = gmail_inbox();
  inbox.open(Folder.READ_ONLY);
  int count = inbox.getMessageCount();
  for (int i = max(0, count-numMsgs+1); i <= count; i++) {
    print("Loading message " + i);
    Message msg = inbox.getMessage(i);
    print("  From: " + InternetAddress.toString(msg.getFrom()));
  }
}