SharedPool fix: remove redundant (and problematic) operator==
Authored by: klaussfreire 2013-02-26
Parent: [r13530]
Child: [r13532]