more debugging of servlet certificate information