static DefaultMutableTreeNode jTree_defaultNode_withDummyChild(O userObject) {
  DefaultMutableTreeNode node = new(userObject);
  node.add(new DefaultMutableTreeNode(jDynamicTree_dummy()));
  ret node;
}