static void resizeImageButtonToMax(final JButton b, final int max) {
  swing {
    BufferedImage img = imageToBufferedImage(((ImageIcon) b.getIcon()).getImage());
    if (img == null) ret;
    BufferedImage img2 = scaleBufferedImageToMaxWidthOrHeight(img, max);
    if (img2 != img)
      setButtonImage(img2, b);
  }
}