Install tomcat7 (or 8) as normal for your environment.
Edit Tomcat configuration file
For the IHTSDO production environment this is /etc/default/tomcat7 (for your enviornment it may be /etc/tomcat7/tomcat7.conf). The key is to set JAVA_OPTS to include large enough memory and a "refset.config" that points to the location of your config.properties file. For example: