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>