equal
deleted
inserted
replaced
119 static { |
119 static { |
120 String order = GetPropertyAction.privilegedGetProperty("java.locale.providers"); |
120 String order = GetPropertyAction.privilegedGetProperty("java.locale.providers"); |
121 List<Type> typeList = new ArrayList<>(); |
121 List<Type> typeList = new ArrayList<>(); |
122 |
122 |
123 // Check user specified adapter preference |
123 // Check user specified adapter preference |
124 if (order != null && order.length() != 0) { |
124 if (order != null && !order.isEmpty()) { |
125 String[] types = order.split(","); |
125 String[] types = order.split(","); |
126 for (String type : types) { |
126 for (String type : types) { |
127 type = type.trim().toUpperCase(Locale.ROOT); |
127 type = type.trim().toUpperCase(Locale.ROOT); |
128 if (type.equals("COMPAT")) { |
128 if (type.equals("COMPAT")) { |
129 type = "JRE"; |
129 type = "JRE"; |