Use Jenkins timestamps instead of Maven logger with dateformat

At least the platform build uses Maven logger to show the timing of the build, see
That adds the current time in front of each Maven console line.

I would rather like to have the Jenkins timestamps plugin be enabled _globally_ and the logger removed afterwards: https://plugins.jenkins.io/timestamper/ That would have the benefit of showing timestamps for each line of the build (not just Maven), for every project being built on this Jenkins instance, and being able to switch to "runtime" instead of "current time".

However, that would obviously require installation and configuration of the plugin on Jenkins, not only code changes here. What's the right way to trigger (and discuss) that? Should I raise a gitlab issue?

この issue ではリポジトリのファイルやテストが指定されていないため、まず Jenkins インスタンスの設定と Maven logger dateformat の設定箇所を見つけてください。Jenkins プラグインをどこで管理しているか、また GitLab issue が必要かどうかをプロジェクトのメンテナーに確認してください。完了条件は、timestamps plugin がグローバルに有効化され、既存の logger 設定が削除されていることです。

索引モデルが issue の本文から書いたものです。