0ed2c426_3____The_ClusterManager_object__Attribute
[Description] Name of the provider to use to create the java.security.SecureRandom instances that generate session IDs. If an invalid algorithm and/or provider is specified, the Manager will use the platform default provider and the default algorithm. If not specified, the platform default provider will be used. [Attribute] 
secureRandomProvider
Apache Tomcat 7 Configuration Reference (7.0.63) - The ClusterManager object