static Folder googleCode_gmail_inbox(Folder defaultFolder) ctex {
  ret defaultFolder.getFolder("INBOX");
}

static Folder googleCode_gmail_inbox() ctex {
  ret googleCode_gmailDefaultFolder().getFolder("INBOX");
}