# HG changeset patch
# User Erik Eckstein <erik.eckstein@oracle.com>
# Date 1385383760 -3600
# Node ID b6b930315135e8cd212ea73681a1a8ce1a933f07
# Parent  4e599571ddb213d0f1cd4013f501fe422da8b374
Use default charset instead of US-ASCII in BasicIdealGraphPrinter

diff -r 4e599571ddb2 -r b6b930315135 graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BasicIdealGraphPrinter.java
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BasicIdealGraphPrinter.java	Mon Nov 25 13:48:13 2013 +0100
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BasicIdealGraphPrinter.java	Mon Nov 25 13:49:20 2013 +0100
@@ -23,6 +23,7 @@
 package com.oracle.graal.printer;
 
 import java.io.*;
+import java.nio.charset.*;
 import java.util.*;
 import java.util.Map.Entry;
 
@@ -90,7 +91,7 @@
             } else {
                 buffered = new BufferedOutputStream(stream, 256 * 1024);
             }
-            this.stream = new PrintStream(buffered, false, "US-ASCII");
+            this.stream = new PrintStream(buffered, false, Charset.defaultCharset().name());
         } catch (UnsupportedEncodingException e) {
             throw new RuntimeException(e);
         }