public static FontInfo getFont(String font) {
    String lowerFont = font.toLowerCase();
    if (lowerFont == "helvetica") {
      return HELVETICA;
    } else if (lowerFont == "times new roman" ||
               lowerFont == "times_new_roman" ||
               lowerFont == "timesnewroman") {
      return TIMES_NEW_ROMAN;
    }
    // uh what?
    throw new AssertionError("Unknown font: " + font);
  }