I think it does change the encoding, but the way GWT works it won't recompile the class until it changes in some way.
At least, my experience is that if you just add a space at the end of a line in the file and take it away again, that is enough.
Or you can delete the /bin/ directory.
Ian