trippie-servlet updated