BoxRendering.paint(c, body_box);
BoxRendering.paint(c, body_box, false);
    protected void doRender(Context c) {        // paint the normal swing background first        // but only if we aren't printing.        Graphics g = c.getGraphics();        if (!(g instanceof PrinterGraphics)) {            g.setColor(getBackground());            g.fillRect(0, 0, getWidth(), getHeight());        }        // start painting the box tree        //(new BodyRenderer()).paint(c,        //        body_box);        BoxRendering.paint(c, body_box);    }