void (Graphics2D g, double x1, double y1, double x2, double y2, StrokeType strokeType, double strokeWidth, Object valueAA) { strokeWidth = JBUIScale.scale((float)strokeWidth); x1 = JBUIScale.scale((float)x1); y1 = JBUIScale.scale((float)y1); x2 = JBUIScale.scale((float)x2); y2 = JBUIScale.scale((float)y2); LinePainter2D.paint(g, x1, y1, x2, y2, strokeType, strokeWidth, valueAA); }