Tidying up servlet.