The doc.papers.y12.designContracts.test.junit package.
@since Ptolemy II 8.1