Fixing Javadoc duplicate with inheritDoc

[oumaziz]

I'm a PhD Student from University of Bordeaux working on documentation copy-pastes (duplicates).
I've noticed that your project does have a few documentation duplicates.
For my research work, i've fixed this simple duplicate and i'd love to have your feedback about it:

• Do you think that this duplicate documentation should co-evolve forever?
• Are you aware of copy-pastes in your documentation?
• If yes, how do you handle them?
• Were you aware of JavaDoc reuse features such as {@inheritdoc}?
• Would you like to have a tool that helps you maintain duplicate documentation?