}
// Ensure that the template namespace tree node for the given namespace
// is in its expanded state.
void setNamespace(String namespace) {
TreeNode root = (TreeNode) getModel().getRoot();
Enumeration e = root.children();
while (e.hasMoreElements()) {
TemplateNamespaceTreeNode child =
(TemplateNamespaceTreeNode) e.nextElement();
String ns = child.toString();
if (ns.equals(namespace)) {