An annotated Java API and a tool for generated documentation augmented with properties. - View it on GitHub