Add May and July 2013 Derby copy.
Merge pull request #1056 from openjck/derby-copy-2013-05

Add May and July 2013 Derby copy.