public void setLocale(String text) {
   if (text.length() > 0) Locale.setDefaultInput(Locale.get(text));
   else Locale.setDefaultInput(Locale.getDefault());
 }
 public static void revertToInitialLocale() {
   Locale.setDefaultInput(m_initial_locale);
 }