public void do_task( HttpServletRequest request, HttpServletResponse response ) throws ServletException, IOException {
Task t = taskService.getTaskByID(
new TaskID(Integer.parseInt(request.getParameter("taskid"))));
Renderer renderer = taskService.getRendererForTask(t.getTaskID(), HTTPRenderer.class);
if (renderer != null) {
if (renderer instanceof HTTPRenderer ) {