[Pki-devel] [PATCH] 851 Fixed default OCSP port in server.xml.

For consistency the server.xml templates for Tomcat 7 and 8 have been modified to use the same unsecure port used by the instance in the default OCSP responder URL. https://fedorahosted.org/pki/ticket/2476 Pushed to master under trivial/one-liner rule. -- Endi S. Dewata