Patch Set 1:

Robin, individual components should not provide their own date/time formatting. Otherwise the user has to change it at many places (Platform, JDT, Git, CVS, ...). See also https://bugs.eclipse.org/356052.