http://gwt-code-reviews.appspot.com/118803/diff/1/3 File user/src/com/google/gwt/i18n/client/DateTimeFormat.java (right):
http://gwt-code-reviews.appspot.com/118803/diff/1/3#newcode1017 Line 1017: value = ((value + 50) / 100) % 10; // Round to 100ms. If value goes over 999, it will be rounded to "0" instead of "9". Since it doesn't make sense to increment seconds (and possible even the date, month, and year), its better to just round down to "9". As we talked about, we should max the value at 999. We can also skip the %10 at that point. http://gwt-code-reviews.appspot.com/118803/diff/1/3#newcode1020 Line 1020: value = ((value + 5) / 10) % 100; // Round to 10ms. ditto http://gwt-code-reviews.appspot.com/118803 -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
