Improve documentation comment and rename contractexecption ContractViolationException.