some JSPs and servlets