frame.getContentPane().add("Center", panel);
frame.setBackground(Color.lightGray);
PCSH.enableHelpKey(frame, "UsingDefectLogEditor");
/* Create the JTreeModel. */
treeModel = new PropTreeModel (new DefaultMutableTreeNode ("root"), null);
treeModel.fill (useProps);
/* Create and show the visual components. */
panel.setLayout(new BorderLayout());
splitPane = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT,