public static void addRecentFile(File file){
  addRecentFile(file.getPath());
}

public static void addRecentFile ( File file ) { addRecentFile ( file . getPath ( ) ) ; }
add a file to the recent files list
