// symbols so pass symbols back to df
harness.check(df.toLocalizedPattern(), "X1,XX");
df.applyPattern("Fr #,##0.##");
String x1 = df.toPattern();
String x2 = df.toLocalizedPattern();
harness.check(x1.length(), x2.length());
boolean ok = x1.length() == x2.length();
for (int i = 0; i < x1.length(); ++i)