Fix bug 785204: Comment unused Derby copy
Merge pull request #1603 from openjck/comment-unused-derby-copy

Fix bug 785204: Comment unused Derby copy.