FacetTreeModel (Module module) { FacetTreeModel treeModel = myTreeModels.get(module); if (treeModel == null) { treeModel = new FacetTreeModel(); myTreeModels.put(module, treeModel); } return treeModel; }