An example todo REST service in Java