eclipse_minor_correction To see if I can make a minor contribution to eclipse (correct a text in a comment).