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);
}