I think it would be better to just use the same basic text as for Scala, replacing “trait” with “interface” (and fixing some syntax). What is missing in both cases is to mention UnrestrictedStash (and its hopefully existing Java companion) which do not force this mailbox selection so that derived classes can be more specific in what they require.