CarrierCommerce is a web shopping cart based on Servlet 3.0 annotations