Fix for different DateTime parsing in unstable Rascal.