230231232233234235236237238
if (treePaths == null) { return Collections.enumeration(Collections.EMPTY_LIST); } Enumeration enumer = Collections.enumeration(Arrays.asList(treePaths)); if (dig) { enumer = new PreorderEnumeration(enumer, model); } return enumer; }