processing servlets