/**
* Gets the ServletRequestCredentialExtractor.
* @return the ServletRequestCredentialExtractor
*/
public static final ServletRequestCredentialExtractor getServletRequestCredentialExtractor() {
ServletRequestCredentialExtractor srce = getProvider(ServletRequestCredentialExtractor.class);
return srce != null ? srce : new DefaultServletRequestCredentialExtractor();
}