<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_7ebke93j3k9ee3fo6c9fp5hb4p, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
import javax.swing.tree.*;

// dummy text you can use as a temporary child for a lazy-filled node
sS jDynamicTree_dummy = "<dummy>";

// updateChildren: func(DefaultMutableTreeNode) -> bool
//   (true=there was a change)
static JTree jDynamicTree(final DefaultMutableTreeNode rootNode, final F1<DefaultMutableTreeNode, Bool> updateChildren) {
  ret swing(func -> JTree {
    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();
        if (isTrue(pcallF(updateChildren, node)))
          ((DefaultTreeModel) tree.getModel()).nodeStructureChanged(node);
      }
    });
    
    ret tree;
  }
}