// ============================================================================
// Do not edit this file. This file is automatically generated from
// the default Tomcat policy, default PKI policy and custom policy.
// ============================================================================