A REST API in Java