tree 8aeb33cde90aabc231c5a36e456610a73d0144c4
parent 805afde85e2e05ecff07fedd148e52a10cb84928
author Marc Kupietz <kupietz@ids-mannheim.de> 1585121097 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1585121097 +0100

Fix maven-java-formatter-plugin version in core maven config

Change-Id: Icbe5318ea5b7d5184b70c71a639b36da9242a003