code: public static void writeToSVG(File file, String svgElement) 
              throws IOException {
          writeToSVG(file, svgElement, false);
      }
docs: Writes a file containing the SVG element.
  
  @param file  the file ({@code null} not permitted).
  @param svgElement  the SVG element ({@code null} not permitted).
  
  @throws IOException if there is an I/O problem.
  
  @since 1.2