In this directory I take the working 2023 version and
convert it into Java code.  This is a work in progress.
Currently the program does all the tests, and has a
neat interface for surveying the injectivity test.

