import java.awt.geom.AffineTransform;

svoid zoomGraphics(Graphics2D g, double scale) {
  AffineTransform at = g.getTransform();
  at.scale(scale, scale);
  g.setTransform(at);
}