SeedmanJ - 2013-02-13

The svn diff file, named with .patch extension.