从ant属性中删除最后三个字符

我有一个蚂蚁的财产，它的价值是abcdefghijklmn

我想将属性中的最后三个字符删除为abcdefghijk

请帮助。

示例 编译文件

project.setProperty（“y”，project.getProperty（“x”）.substr（0,11））；

build:
     [echo] x = abcdefghijklmn
     [echo] y = abcdefghijk

<project name="demo" default="build">

  <property name="x" value="abcdefghijklmn"/>

  <target name="build">
    <script language="javascript">
      project.setProperty("y", project.getProperty("x").substr(0,11));
    </script>

    <echo message="x = ${x}"/>
    <echo message="y = ${y}"/>
  </target>

</project>