20151003 entertainment.english.hollywood: Robin Williams'' family reaches settlement