// TODO: the strikethrough offset should be calculated
// from the font instead!
Stroke strikethroughStroke =
new BasicStroke(thickness);
java.awt.Shape strikethroughShape =
strikethroughStroke.createStrokedShape(
new java.awt.geom.Line2D.Double(
location.getX()+xoffset, y,
location.getX()+xoffset+layout.getAdvance(), y));
Paint paint = (Paint) runaci.getAttribute(
TextAttribute.FOREGROUND);