Convert a REST API to AWS Lambda with minimal effort using Quarkus