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