if (!resolutionScaling.isIdentity()) {
pdfInfo.currentStream.add("%resolution scaling for " + uaResolution
+ " -> " + deviceResolution + "\n");
pdfInfo.currentStream.add(
CTMHelper.toPDFString(resolutionScaling, false) + " cm\n");
graphics.scale(1 / s, 1 / s);
}
pdfInfo.currentStream.add("%SVG start\n");
//Save state and update coordinate system for the SVG image