added some functions to ServletUtil