border.left + (int)padding.left(), BorderPainter.LEFT + BorderPainter.TOP + BorderPainter.BOTTOM);
(int)border.left() + (int)padding.left(), BorderPainter.LEFT + BorderPainter.TOP + BorderPainter.BOTTOM);
    public static void paintLeftPadding(            Context c,            LineBox line,            InlineBox inline,            int padX,            RectPropertySet margin,            Border border,            RectPropertySet padding) {        LineMetrics lm = FontUtil.getLineMetrics(c, inline);        for (Iterator i = c.getInlineBorders().iterator(); i.hasNext();) {            // CLEAN: cast to int            ((InlineBorder) i.next()).paint(c,                    line,                    padX + inline.x + (int)margin.left(),                    (int)padding.left() + border.left,                    BorderPainter.TOP + BorderPainter.BOTTOM);        }        Color background_color = c.getCurrentStyle().getBackgroundColor();        InlineBorder ib = new InlineBorder(inline.y, inline.height, margin, border, padding, c.getCurrentStyle(), lm, background_color);        // CLEAN: cast to int        ib.paint(c, line,                inline.x + padX + (int)margin.left(),                border.left + (int)padding.left(), BorderPainter.LEFT + BorderPainter.TOP + BorderPainter.BOTTOM);        c.getInlineBorders().addLast(ib);    }