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: <%@page import="eu.riscoss.db.RiscossDatabase"%>
  <%@page import="eu.riscoss.server.DBConnector"%>
  <%@ page language="java" contentType="text/html; charset=UTF-8"
      pageEncoding="UTF-8"%>
  
  <%@ page import="eu.riscoss.db.RiscossDatabase" %>
  <%@ page import="eu.riscoss.shared.CookieNames" %>
  
  <%@ page import="javax.script.Invocable" %>
  <%@ page import="javax.script.ScriptContext" %>
  <%@ page import="javax.script.ScriptEngine" %>
  <%@ page import="javax.script.ScriptEngineManager" %>
  
  <% 
  	
  
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");
      }
    }
  }
  