Fix bug 785204: Comment unused Derby copy.