docs: public void saveAsANY(File file, int width, int height, float quality) throws IOException, TranscoderException, TransformerFactoryConfigurationError, TransformerException, ClassNotFoundException {
      String extension = FileUtil.getFilenameExtension(file);
      if("svg".equals(extension)) {
        saveAsSVG(file);
      }
      else if("pdf".equals(extension)) {
        saveAsPDF(file);
      }
      else if("ps".equals(extension)) {
        saveAsPS(file);
      }
      else if("eps".equals(extension)) {
        saveAsEPS(file);
      }
      else if("png".equals(extension)) {
        saveAsPNG(file, width, height);
      }
      else if("jpg".equals(extension) || "jpeg".equals(extension)) {
        saveAsJPEG(file, width, height, quality);
      }
      else {
        throw new IOException("Unknown file extension: " + extension);
      }
    }