[tor-commits] [metrics-web/master] Fix a String encoding problem with OpenJDK.