Documentation generator for Spring MVC REST services