Change seconds to milliseconds for system time measures
treef52213d0b3bf8fa0bbbecb0156aeaf95d66fa238
-rw-r--r-- 36 .gitignore
drwxr-xr-x - org.eclipse.emf.compare-parent
drwxr-xr-x - packaging
drwxr-xr-x - performance
drwxr-xr-x - plugins