tree edbd41ce7be8812a436592e35e191a0bc3adef6a
parent 04ab5286843bf3b8194aabd9371e43277bc23189
author Gary Gregory <gardgregory@gmail.com> 1631633968 -0400
committer Gary Gregory <gardgregory@gmail.com> 1631633968 -0400

More precise Javadoc.