72737475767778798081
} private FileTreeModel getFileTreeModel() { if (fileTreeModel == null) { fileTreeModel = new FileTreeModel(fileTree, files); fileTreeModel.addTreeModelListener(new ExpandNodesListener( getFileTree())); } return fileTreeModel; }