}
@RunsInEDT
static void checkHasSelection(final @Nonnull JTree tree, final @Nonnull String[] selection,
final @Nonnull JTreePathFinder pathFinder, final @Nonnull Description errMsg) {
execute(new GuiTask() {
@Override protected void executeInEDT() {
checkSelection(tree, selection, pathFinder, errMsg);
}
});
}