He simply commented-out those lines, and the by that override the fadeOut effect of the default contact file.
Not the best solution, but definitely acceptable, no core-hacking.
You do need to document this though, if in the future the plugin dev decides to change the code, you will have to change according to his new code :-)