public void addFile(String filename){
synchronized (files) {
    if (!files.contains(filename)) {
      files.add(filename);
    }
  }
}

public void addFile ( String filename ) { synchronized ( files ) { if ( ! files . contains ( filename ) ) { files . add ( filename ) ; } } }
schedules a file for deletion .
