Fixes #290 : New Date API assertions (JSR 310)