} catch (UnknownServicePrincipalException e) {
    public void doGet(final HttpServletRequest request, final HttpServletResponse response)    throws IOException, ServletException {        // Get current configuration.        final Properties config = getConfig();        // Public computer - should we deny use of SSO?        final String denySSOChoice = RequestUtil.getCookieValue(config.getProperty(RequestUtil.PROP_COOKIE_DENYSSO), request.getCookies());        final boolean denySSO;        if (denySSOChoice == null || denySSOChoice.equals("false") || denySSOChoice.equals("")) {            // Allow SSO.            request.setAttribute(RequestUtil.ATTR_SELECTED_DENYSSO, new Boolean(false));            denySSO = false;        } else {            // Deny SSO.            request.setAttribute(RequestUtil.ATTR_SELECTED_DENYSSO, new Boolean(true));            denySSO = true;        }        // Attempt SSO.        if (!denySSO) {            final String serviceTicket;            try {                // Get SSO cookie name.                final String ssoTicketId = RequestUtil.getCookieValue(config.getProperty(RequestUtil.PROP_COOKIE_SSO), request.getCookies());                if (ssoTicketId != null) {                    serviceTicket = MoriaController.attemptSingleSignOn(                            request.getParameter(config.getProperty(RequestUtil.PROP_LOGIN_TICKET_PARAM)), ssoTicketId);                    // Redirect back to web service.                    response.setStatus(HttpServletResponse.SC_MOVED_TEMPORARILY);                    response.setHeader("Location", MoriaController.getRedirectURL(serviceTicket));                    // SSO succeeded, we're finished.                    return;                }            } catch (UnknownTicketException e) {                //SSO failed; continue with normal authentication.            } catch (MoriaControllerException e) {                // Do not handle this exception here. Will be handled by the                // showLoginPage method.            }        }        // Display login page.        showLoginPage(request, response, null);    }