[Pki-devel] [PATCH] 218 Replaced Tomcat's random number generator.

By default Tomcat relies on /dev/random as a random number generator to generate the session ID's. Under certain conditions /dev/random may block, which will block Tomcat as well. To solve the problem all webapps in Tomcat have been configured to use the random number generator provided by JSS. Ticket #524 Tested with IPA. Migration script will be added in a separate patch. -- Endi S. Dewata