static void mail_openReadOnlyIfClosed(Folder f) {
  if (!f.isOpen())
    f.open(f.READ_ONLY);
}