fix wrong use of a word `trait' on Java documentation.