manifold/javadoc/agent/package-summary.html