langtools/src/jdk.jshell/share/classes/jdk/jshell/Util.java
changeset 35000 952a7b4652f0
parent 34857 14d1224cfed3
child 37644 33cf53901cac
--- a/langtools/src/jdk.jshell/share/classes/jdk/jshell/Util.java	Mon Jan 11 08:41:00 2016 -0800
+++ b/langtools/src/jdk.jshell/share/classes/jdk/jshell/Util.java	Mon Jan 11 19:32:36 2016 -0800
@@ -25,6 +25,7 @@
 
 package jdk.jshell;
 
+import java.util.Locale;
 import java.util.stream.Stream;
 import java.util.stream.StreamSupport;
 import javax.lang.model.element.Name;
@@ -40,6 +41,8 @@
     static final String REPL_CLASS_PREFIX = "$REPL";
     static final String REPL_DOESNOTMATTER_CLASS_NAME = REPL_CLASS_PREFIX+"00DOESNOTMATTER";
 
+    static final Locale PARSED_LOCALE = Locale.ROOT;
+
     static boolean isDoIt(Name name) {
         return isDoIt(name.toString());
     }