找到了:
在Eclipse的Ant选项卡中,如果右键单击您的构建,然后单击Run As-> Ant Build
…,则会弹出“编辑配置”对话框,您可以选择想要的JRE用于蚂蚁。
我不知道此设置的存储位置,但它似乎存储在工作区中,而不是与项目设置一起存储。

找到了:
在Eclipse的Ant选项卡中,如果右键单击您的构建,然后单击Run As-> Ant Build
…,则会弹出“编辑配置”对话框,您可以选择想要的JRE用于蚂蚁。
我不知道此设置的存储位置,但它似乎存储在工作区中,而不是与项目设置一起存储。