maven settings.xml改为jdk13

Maven的`settings.xml`文件通常位于`$M2_HOME/conf`目录或`~/.m2/`目录下，它用于配置Maven的全局设置，比如本地仓库位置、远程仓库镜像、代理设置等。然而，`settings.xml`文件本身并不直接控制使用哪个JDK版本编译或运行Maven项目。要指定Maven使用JDK 13编译和运行，你需要在项目的`pom.xml`文件中配置Maven的编译器插件，或者在环境变量中设置默认的JDK版本。

如果你想要设置环境变量，可以在命令行中使用如下命令（以Unix系统为例）：

export JAVA_HOME=/path/to/jdk13
export PATH=$JAVA_HOME/bin:$PATH

这将使得系统默认使用JDK 13作为编译和运行Java代码的环境。

在`pom.xml`中配置编译器插件的示例如下：

<project>
  <!-- ... -->
  <build>
    <plugins>
      <plugin>
        <artifactId>maven-compiler-plugin</artifactId>
        <version>3.8.1</version> <!-- 使用最新版本 -->
        <configuration>
          <source>13</source> <!-- 设置JDK的源码版本 -->
          <target>13</target> <!-- 设置JDK的目标版本 -->
        </configuration>
      </plugin>
    </plugins>
  </build>
  <!-- ... -->
</project>

确保你已经安装了JDK 13，并且`JAVA_HOME`环境变量已经正确设置。