v2.0 Date format question

I got a trouble on date formatting...

The script -
var date = new AW.Formats.Date;
date.setTextFormat("dd mmm yyyy");
date.setDataFormat("ISO8601");

The date [xml] -
This works:
<time>2003-03-26T00:00:00.0000000+08:00</time>

But , what if the time is
<time>2003-03-26T00:00:00.99+08:00</time>

the second does not work due to the 0.99 is not zero filled to 7 digits.

What can i do to make the second one works too?
Remark: the second one's time is retrieved from mssql.

I guess this is AW bug (or lack of flexibility :-)

You should change the following regexp

var xmlExpr = /^(....).(..).(..).(..).(..).(..)........(...).(..)/;

in /source/lib/formats/date.js