An annotated Java API and a tool for generated documentation augmented with properties.