Following code is not working as expected. It clicks on the tree item Types instead of checkbox. I also recorded it and played the recording but same result was produced.
ui.wait(new ShellShowingCondition("Preferences (Filtered)"));
ui.click(new TreeItemLocator(WT.CHECK, "Types", new LabeledLocator(
Tree.class, "Select the symbols to show:")));
ui.click(new ButtonLocator("OK"));
ui.wait(new ShellDisposedCondition("Preferences (Filtered)"));