notifyAll();
    private synchronized void completeLayout() {        // Uu.p("layout thread ending");        done = true;        graphics = null;        panel.repaint();        // Uu.p("body box = " + panel.body_box );    }