Add receiveProbe to interface, so RMI will work

Also, re-indent (use ?w=1 or `diff -w` for proper diff)