In HopGui.java, in method main, we are going to initialize a default Locale for HopGui in a wrong way. The way it is defined is
Locale.setDefault( LanguageChoice.getInstance().getDefaultLocale() );
This way we are going to force to use the "Language" settings set in Options dialog also for numbers ad dates formats. This is not totally right because I would like to have a different language for the labels in the GUI but I wante to use my system regional settings for numbers and dates formats. In my opinion, whenever we are using hop from HopGui, we need to consider differently the language of the gui and the formatting of numbers and dates. This last settings must be inherited from the system's regional settings. Only if needed, they must be forced to be different from system's regional settings by going through a proper, separate entry in the Options dialog.