undo unwanted change...
diff --git a/pom.xml b/pom.xml
index 9752fcd..255f038 100644
--- a/pom.xml
+++ b/pom.xml
@@ -915,7 +915,7 @@
     <mavenPluginToolsVersion>3.6.0</mavenPluginToolsVersion>
     <!-- don't fail check for some rules that are too hard to enforce (could even be told broken for some) -->
     <checkstyle.violation.ignore>RedundantThrows,NewlineAtEndOfFile,ParameterNumber,MethodLength,FileLength</checkstyle.violation.ignore>
-    <!-->project.build.outputTimestamp>2020-01-26T09:04:18Z</project.build.outputTimestamp-->
+    <project.build.outputTimestamp>2020-01-26T09:04:18Z</project.build.outputTimestamp>
   </properties>
 
   <dependencyManagement>