public void paintStroke(Graphics2D g, ButtonInfo info) {
if (isStrokePainted(info.button)) {
Paint strokeColor = fill.getStroke(info.button, info.fillBounds);
g.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL, RenderingHints.VALUE_STROKE_NORMALIZE);
if (isStrokeAntialiased()) {
g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
} else {
g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF);
}
g.setPaint(strokeColor);
g.draw(info.stroke);
}
}
