A design by contract library for java