clean up in servlets