--- a/src/share/vm/ci/ciSymbol.hpp	Sun Nov 18 22:45:43 2012 +0100
+++ b/src/share/vm/ci/ciSymbol.hpp	Mon Nov 19 15:36:13 2012 +0100
@@ -73,6 +73,9 @@
   const char* as_utf8();
   int         utf8_length();
 
+  // The text of the symbol as ascii with all non-printable characters quoted as \u####
+  const char* as_quoted_ascii();
+
   // Return the i-th utf8 byte, where i < utf8_length
   int         byte_at(int i);