A docking/windowing framework for GWT apps