Example files for a Java tutorial on REST services