GridLayout layout = new GridLayout(1, true);
layout.verticalSpacing = 12;
topLevel.setLayout(layout);
migrationTaskView = new MigrationTaskView(task, topLevel);
Sasher sasher = new Sasher(topLevel, SWT.NONE);
migrationGroupList =
new MigrationGroupListViewer(sasher, this, task);
remapTable = new RemapTable(sasher);
sasher.init(migrationGroupList.getControl(), remapTable.getControl(),
SWT.HORIZONTAL, 40);
migrationTaskView.getControl().setLayoutData(
new GridData(SWT.FILL, SWT.FILL, true, false));
sasher.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
return topLevel;
}