BoxRendering.paint(c, body_box, false, false);
if(body_box != null) { BoxRendering.paint(c, body_box, false, 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        BoxRendering.paint(c, body_box, false, false);//no restyle demanded on top level        if (!c.isStylesAllPopped()) {            XRLog.render(Level.SEVERE, "mismatch in style popping and pushing");        }    }