[Pki-devel] [PATCH] 883 Added support for building with generic Tomcat.

Previously the build scripts would only work with specific Tomcat versions officially supported by the operating system. To support other Tomcat versions the build scripts have been modified such that they will use the Tomcat installation specified in the TOMCAT_HOME variable. The Tomcat-specific PKI source folder to use can now be specified in the PKI_TOMCAT_SRC variable. https://fedorahosted.org/pki/ticket/2560 -- Endi S. Dewata