static FetchProfile javaMail_fullFetchProfile() {
  new FetchProfile fp;
  fp.add(FetchProfile.Item.ENVELOPE);
  fp.add(FetchProfile.Item.CONTENT_INFO);
  fp.add(FetchProfile.Item.FLAGS);
  ret fp;
}