static BufferedImage mergeRGBImagesAndRects_scaledToWidth(L<RGBImageAndRect> l, int width) {
  new L<BufferedImage> images;
  for (RGBImageAndRect i : l) {
    BufferedImage img2 = toBufferedImage(i.image);
    BufferedImage img3 = scaleImage_noSmooth(img2, doubleRatio(width, i.image.getWidth()));
    if (i.rect != null) {
      Rect face3 = rescaleRect_imageToImage(i.rect, img2, img3);
      drawRect(img3, face3, Color.white);
    }
    images.add(img3);
  }
  ret mergeBufferedImagesVertically(images);
}