show readable time but use timestamp for everything else

frontend-js/src/main/js/GuiConnector.js

@@ -277,7 +277,7 @@ GuiConnector.prototype.gatherReportData = function () {
       login: { value: user.getLogin(), tooltip: 'Your account name. This information is useful in case the issue is specific to a certain account.' },
       email: { value: user.getEmail(), tooltip: 'Your contact email. If provided we might contact you for additional information.' },
       browser: { value: navigator.userAgent, tooltip: 'Your browser user agent. Many issues are specific to certain browsers. This information is important to identify those.' },
-      timestamp: { value: new Date(), tooltip: 'The error time. This information is useful to link the issue to a specific event on the server.' } // TODO: Submission time rather than server time for now
+      timestamp: { value: +new Date(), tooltip: 'The error time. This information is useful to link the issue to a specific event on the server.' } // TODO: Submission time rather than server time for now
     };
   });
 };
@@ -324,7 +324,7 @@ GuiConnector.prototype.alert = function (error, redirectIfSecurityError) {
         self._errorDialogData.innerHTML += '<textarea id="report-comment" placeholder="Add comment..."></textarea>';
         Object.keys(data).forEach(function (key) {
           self._errorDialogData.innerHTML += '<label>' +
-            data[key].value +
+            (key === 'timestamp' ? new Date(data[key].value) : data[key].value) +
             '<input class="report-check" type="checkbox" data-key="' + key + '" data-value="' + data[key].value + '"/>' +
             '<span class="ui-icon ui-icon-info" title="' + data[key].tooltip + '"></span>' +
             '</label>';