Hey, I didn't know, but apparently there is an option in Eclipse under "Preferences -> Java -> Compiler -> Errors/Warnings -> Unnecessary code" that can be activated to show a warning for unused parameters. I guess there are similar tools for other IDEs.
I activated this and it seems that there are several other similar cases of unused parameters in the code. Some of them look like methods that haven't been implemented yet, others are just overrides, others seem to be similar copy-paste cases and some are not that clear with a quick look. Shall we carefully go through all cases and fix the ones that need fixing? Cheers, V. On 17 June 2014 22:10, Stephan Ewen <[email protected]> wrote: > I think you are right, it is a copy/paste artifact. Since the "type" and > "solutionSet.getType()" are identical, it is redundant. >
