As per the infinispan web page, there is a lab exercise of ticket allocator given.Can you please tell me whether er have to develop over that infrastructure and build our application using that.