java gui to rename files in a folder with a given format. e.g. to rename video files according to their timestamp