src/java.base/share/classes/sun/util/locale/provider/LocaleProviderAdapter.java

rev 12979 : imported patch 8062006

@@ -122,10 +122,14 @@
 
         // Check user specified adapter preference
         if (order != null && order.length() != 0) {
             String[] types = order.split(",");
             for (String type : types) {
+                type = type.trim().toUpperCase(Locale.ROOT);
+                if (type.equals("COMPAT")) {
+                    type = "JRE";
+                }
                 try {
                     Type aType = Type.valueOf(type.trim().toUpperCase(Locale.ROOT));
                     if (!typeList.contains(aType)) {
                         typeList.add(aType);
                     }