correct encoding in java-python-server