}
}
RootPanel.get("collapsible-panel").add(panel);
panel.add(contents);
panel.setHeight(Window.getClientHeight() - 1 + "px");
panel.hookupControlToggle(controlButton);
} catch (RuntimeException e) {
if (GWT.isScript()) {
Log.severe(e.getMessage());
}
throw e;