code: private static void addMimeToCompressedWithExtension(String extension) {
          String mime = EXTENSIONS.get(extension);
          if (mime != null && !COMPRESSED_MIME.contains(mime)) {
              COMPRESSED_MIME.add(mime);
          }
      }
docs: Adds a mime-type to the compressed list.
  
  @param extension the extension, without the "."