Servlet and javascript library