Java doc comments on Receiver