title: Rename files, Python/Jython
body: <p>I have a directory full of files, some which have an ampersand in their names.  I would like to rename all the files with ampersands and replace each ampersand with a plus (+).  I am working with around 10k files.  What would be the best method to do this?</p>