Merge changes from topic 'warnings'

* changes:
  Suppress unused argument warnings in unavoidable cases
  Fix Eclipse warnings in plugins
  Turn on many more Eclipse warnings, and fix them