for 32 bit Java
encode, don't escape