The doc.papers.y12.designContracts.test.junit package.

@since Ptolemy II 8.1