// Could call repaint(), but I think we should paint in this
// thread...
MapBean map = (MapBean) obj;
// Gets the buffer cleaned out.
map.setBufferDirty(true);
map.paintChildren(map.getGraphics());
}
/** Same as redraw(e, false) */
public void redraw(MouseEvent e) {
redraw(e, false);