Recipes to install WAVSEP and run a web server using Tomcat