A Java Petstore using the Java EE 7