code: public void addFile(String filename) {
          synchronized (files) {
              if (!files.contains(filename)) {
                  files.add(filename);
              }
          }
      }
docs: Schedules a file for deletion.
  
  @param filename The file to delete.