fixed servlet bugs