// The actual pinned panel.
final CollapsiblePanel pinned = new CollapsiblePanel();
RootPanel.get("pinned-panel").add(pinned);
pinned.add(contents);
pinned.setWidth("200px");
pinned.hookupControlToggle(controlButton);
} catch (RuntimeException e) {
if (GWT.isScript()) {
Log.severe(e.getMessage());
}
throw e;