Tools for automatic documentation of annotated Java classes