DateFormat.jmv constructor

DateFormat.jmv([dynamic locale ])

Implementation 

DateFormat.jmv([locale]) : this("jmv", locale);