Suppress a warning in Eclipse
Merge pull request #3137 from qifun/patch-9

Suppress a warning in Eclipse