Change formatting of ms time
Restore statman dependency to default