Bug #91: Set the Default locale for formatting text to use English formatting: this makes all number formats use decimal instead of comma by default, regardless of language
updated
implemented RFE #150: added name field to JMask's Parameters, modified UI to have bar on top of each Parameter
Merge branch 'hotfix/2.5.7' of github.com:kunstmusik/blue into hotfix/2.5.7
updated for release