This image shows the build.xml file in the JDeveloper code editor. The <property environment="env"/> code line is highlighted.