layout.setWidgetTopHeight(topLevelTools, 0, Style.Unit.PX, 30, Style.Unit.PX);
layout.setWidgetTopHeight(scroll, 30, Style.Unit.PX, 100, Style.Unit.PCT);
// ---
vpanel.add(new ContentHeaderLabel("XA "+Console.CONSTANTS.subsys_jca_dataSource_configurations()));
dataSourceTable = new DefaultCellTable<XADataSource>(20);
dataSourceProvider = new ListDataProvider<XADataSource>();
dataSourceProvider.addDataDisplay(dataSourceTable);