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 <
[hidden email]> wrote:
> I think you are right, it is a copy/paste artifact. Since the "type" and
> "solutionSet.getType()" are identical, it is redundant.
>