fix REUSE format in xml file header.
+<?xml version="1.0" encoding="UTF-8"?>
+
<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
@@ -8,7 +10,6 @@ SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0
-->
-<?xml version="1.0" encoding="UTF-8"?>
<ivy-module version="2.0"
xmlns:e="http://ant.apache.org/ivy/extra"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
