shell.setText("Game Tree Browser");
tree = new Tree(shell, SWT.BORDER | SWT.H_SCROLL
| SWT.V_SCROLL);
tree.setHeaderVisible(true);
TreeColumn column = new TreeColumn(tree, SWT.LEFT);
column.setText("Actor");
column.setWidth(210);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("Action");
column.setWidth(120);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("Round");
column.setWidth(70);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("P(Action)");
column.setWidth(70);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("Samples");
column.setWidth(70);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("E(V)");
column.setWidth(80);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("σ(V)");
column.setWidth(80);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("Tokens");
column.setWidth(50);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("Max");
column.setWidth(80);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("Pot");
column.setWidth(80);
column = new TreeColumn(tree, SWT.CENTER);
column.setText("LowerBound");
column.setWidth(80);
shell.pack();
shell.open();
}