/**
  * Get the root file objects (after createDerivedFiles() ) of this tree, so that they can be
  * rescheduled.
  *
  * @return root objects of this unpacked tree
  */
 List<AbstractFile> getRootFileObjects() {
   List<AbstractFile> ret = new ArrayList<>();
   for (UnpackedNode child : rootNode.children) {
     ret.add(child.getFile());
   }
   return ret;
 }
 private void getAllFileObjectsRec(List<AbstractFile> list, UnpackedNode parent) {
   list.add(parent.getFile());
   for (UnpackedNode child : parent.children) {
     getAllFileObjectsRec(list, child);
   }
 }