import javax.swing.tree.*;

static <A> JTree jDynamicTree(final A root, final F1<A, L<A>> makeChildren) {
  ret swing(func -> JTree {
    DefaultMutableTreeNode rootNode = new(root);
    rootNode.add(new DefaultMutableTreeNode(jDynamicTree_dummy()));
    final JTree tree = new JTree(rootNode);
    tree.setShowsRootHandles(true);
    tree.collapseRow(0);
    
    tree.addTreeWillExpandListener(new TreeWillExpandListener {
      public void treeWillCollapse(TreeExpansionEvent e) {}
      public void treeWillExpand(TreeExpansionEvent e) {
        DefaultMutableTreeNode node = cast e.getPath().getLastPathComponent();
        L<A> l = callF(makeChildren, (A) node.getUserObject());
        if (replaceTreeNodeChildren_withDummyChild(node, l, jDynamicTree_dummy()))
          ((DefaultTreeModel) tree.getModel()).nodeStructureChanged(node);
      }
    });
    
    ret tree;
  });
}