The "teadoc" tool is now run with the Maven build as a Java program.