To make this site work properly, we sometimes place small data files called cookies on your device. Most big websites do this too.

What are cookies?

A cookie is a small text file that a website saves on your computer or mobile device when you visit the site. It enables the website to remember your actions and preferences (such as login, language, font size and other display preferences) over a period of time, so you don't have to keep re-entering them whenever you come back to the site or browse from one page to another.

How do we use cookies?

We only use JSESSIONID cookie which is automatically generated cookie by Java/Tomcat during the start of a new user session. Usage of this cookie is essential as it is used to keep the user session "alive". Without this cookie you would not be able to perform any actions requiring authentication. This cookie is temporary and is deleted when you close your web browser.

How to control cookies

You can control and/or delete cookies as you wish - for details, see

You can delete all cookies that are already on your computer and you can set most browsers to prevent them from being placed.

If you do this, however, you may have to manually adjust some preferences every time you visit a site and some services and functionalities may not work.