docs: public void saveAsPNG(File file, int width, int height) throws IOException, TranscoderException {
      PNGTranscoder t = new PNGTranscoder();
      t.addTranscodingHint(PNGTranscoder.KEY_WIDTH, new Float(width));
      t.addTranscodingHint(PNGTranscoder.KEY_HEIGHT, new Float(height));
      transcode(file, t);
    }