Merge "Fix bug #7206086 NumberPicker widget should use locale digits" into jb-mr1-dev