Fix bug 858078: Correct title of June 2013 Derby.
Merge pull request #986 from openjck/derby-copy-2013-04-1

Fix bug 858078: Correct title of June 2013 Derby.