The Application Programming Interface (API) for the NeXtMidas libraries is
automatically generated from the comments in the libraries using the Java
javadoc tool.
The API is a set of HTML documents that document all public methods available
for all installed option trees.