Automated documentation for async APIs built with Spring Boot