| gvSIG desktop 1

				public void repaint() {

					if (dirtyTree) {

						// rebuild page tree

						ArrayList prefList = new ArrayList(preferences.values());

						ArrayList alreadyAdded = new ArrayList();

						DefaultTreeModel model = new DefaultTreeModel(root);

						}

						treeModel = model;

						jTreePlugins.setModel(model);

					}

					super.repaint();

				}

			};

			jTreePlugins.setRootVisible(false);

			MyTreeCellRenderer treeCellRenderer = new MyTreeCellRenderer();