casServiceUrl = PropertiesManager.getProperty("cas.serviceUrl");  if (casServiceUrl == null) { throw new ServletException("casServiceUrl must be set."); }  if (!(casServiceUrl.startsWith("https: throw new ServletException("casServiceUrl must start with https: }
    public void init(FilterConfig config) throws ServletException {        enabled = Boolean.valueOf(PropertiesManager.getProperty("cas.enabled"));        if (enabled) {            casLoginUrl = PropertiesManager.getProperty("cas.loginUrl");            casServiceUrl = PropertiesManager.getProperty("cas.serviceUrl");            if (casServiceUrl == null) {                throw new ServletException("casServiceUrl must be set.");            }            if (!(casServiceUrl.startsWith("https://") || (casServiceUrl.startsWith("http://")))) {                throw new ServletException("casServiceUrl must start with https:// or http://");            }        }    }