This image shows an Edit WAR Deployment Profile Properties dialog box in JDeveloper.