This image shows the build.properrties file in the code editor of JDeveloper.