anchor.diff:  	}
   		
   		// Authentication error or no token at all: send login page
  -		%> <jsp:include page="auth.html" flush="true" /> <%
  -	
  -	
  -%>
  +		%> <jsp:include page="auth.jsp" flush="true" />
   
  
positive.code: 		try {
  			RiscossDatabase db = DBConnector.openDatabase( token );
  			db.close();
  			%><jsp:include page="RiscossWebApp.html" flush="true" /><%
  			return;
  		}
  		catch( Exception ex ) { 
  			ex.printStackTrace();
  			Cookie cookie = new Cookie( CookieNames.TOKEN_KEY, "" );
  			cookie.setMaxAge(0);
  			cookie.setValue("");
  
negative.code: if (cookies != null) {
   for (Cookie cookie : cookies) {
     if (cookie.getName().equals(CookieNames.TOKEN_KEY)) {
  	    token = java.net.URLDecoder.decode(cookie.getValue(), "UTF-8");
      }
    }
  }
  