void setStructureProvider(TreeStructureProvider provider) {
    model.onValidThread(() -> {
      if (root.provider == null && provider == null) return;
      root.provider = provider;
      treeStructureChanged(null, null, null);
    });
  }
void setStructureProvider(TreeStructureProvider provider)