Spring portlet MVC with GateIn3.1 GA: hello world portlet and BooksCRUD portlet.