serialize dynamic callgraph in UTF-8 format, so as to handle Unicode

names in class files
This commit is contained in:
Julian Dolby 2015-08-04 14:18:43 -04:00
parent 44699a619f
commit cb77169101
1 changed files with 1 additions and 1 deletions

View File

@ -73,7 +73,7 @@ public class Runtime {
}
try {
output = new PrintWriter(new OutputStreamWriter(new GZIPOutputStream(new FileOutputStream(fileName))));
output = new PrintWriter(new OutputStreamWriter(new GZIPOutputStream(new FileOutputStream(fileName)), "UTF-8"));
} catch (IOException e) {
output = new PrintWriter(System.err);
}