LogView: Date column should be more fine grained

- and show yyyy-MM-dd HH:mm:ss.SSS instead of just minute precision
- this is useful where you want to see the exact time of log events in
cases where seconds or even milliseconds matter

Author: chrisrueger

bundles/org.eclipse.ui.views.log/src/org/eclipse/ui/internal/views/log/LogViewLabelProvider.java

@@ -16,6 +16,7 @@
 package org.eclipse.ui.internal.views.log;
 
 import java.text.DateFormat;
+import java.text.SimpleDateFormat;
 import java.util.ArrayList;
 import org.eclipse.core.runtime.IStatus;
 import org.eclipse.jface.resource.JFaceResources;
@@ -34,7 +35,7 @@ public class LogViewLabelProvider extends LabelProvider implements ITableLabelPr
 	private Image errorWithStackImage;
 	private Image hierarchicalImage;
 	ArrayList<Object> consumers = new ArrayList<>();
-	private DateFormat dateFormat = DateFormat.getDateTimeInstance(DateFormat.SHORT, DateFormat.SHORT);
+	private DateFormat dateFormat = new SimpleDateFormat(LogEntry.F_DATE_FORMAT);
 
 	private LogView logView;