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