Example web servlet