static BWImage bwResizeToHeightSmooth(BWImage img, int h) {
  ret new BWImage(scaleImage(img.getBufferedImage(), ((double) h)/img.getHeight()));
}