fixed servlet output encoding