!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()));
    print("  Subject: " + InternetAddress.toString(msg.getSubject()));
    print("  Message number: " + msg.getMessageNumber());
    print("  Sent/Received: " + msg.getSentDate() + "/" + msg.getReceivedDate());
    print("  Class: " + getClassName(msg));
  }
}