I've had the same problem with the terminal connectors shorting out against each other where they connect onto the drain pump.
At present everything else works except the drain pump. I checked the pump by running a cable straight from the socket onto the pump, using spade connectors. Ran okay.
I put the machine on a drain cycle and checked for voltage at the pcb connections. Not got any voltage. I checked the cables for continuity and that was okay.
Looks like I might need a new pcb unless I can find a fuse blown on the board.
Ian
January 2012