Merge "Rename Gerrit WAR that includes plugins to 'gerrit-full-{version}'"

Documentation/dev-release.txt

diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 452e73a..5ea3042 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -126,7 +126,7 @@
 ====
 
 * Find WAR that includes the core plugins at
-`gerrit-package-plugins\target\gerrit-v2.5.war`
+`gerrit-package-plugins\target\gerrit-full-v2.5.war`
 * Sanity check WAR
 
 Publish to the Project Locations

gerrit-package-plugins/pom.xml

diff --git a/gerrit-package-plugins/pom.xml b/gerrit-package-plugins/pom.xml
index d52d1c5..c072719 100644
--- a/gerrit-package-plugins/pom.xml
+++ b/gerrit-package-plugins/pom.xml
@@ -74,7 +74,7 @@
         <artifactId>maven-war-plugin</artifactId>
         <version>2.1.1</version>
         <configuration>
-          <warName>gerrit-${project.version}</warName>
+          <warName>gerrit-full-${project.version}</warName>
           <archive>
             <addMavenDescriptor>false</addMavenDescriptor>
             <manifestEntries>