Use gwt-maven's -Dgwt.style rather than our own

gwt-maven plugin natively supports -Dgwt.style, so we don't need
to handle this ourselves.

Change-Id: I9c9e262bf04dc23026649e8b2e103a209d4b4922
Signed-off-by: Shawn O. Pearce <sop@google.com>

Documentation/dev-readme.txt

@@ -112,13 +112,13 @@ using an administrator user account:
 Debugging JavaScript
 ~~~~~~~~~~~~~~~~~~~~
 
-When debugging browser specific issues use gwtStyle `DETAILED`
+When debugging browser specific issues use `-Dgwt.style=DETAILED`
 so the resulting JavaScript more closely matches the Java sources.
 This can be used to help narrow down what code line 30,400 in the
 JavaScript happens to be.
 
 ----
-  mvn package -DgwtStyle=DETAILED
+  mvn package -Dgwt.style=DETAILED
 ----
 
 

gerrit-gwtui/pom.xml

@@ -155,7 +155,6 @@ limitations under the License.
         <configuration>
           <module>com.google.gerrit.GerritGwtUI</module>
           <extraJvmArgs>-Xmx512m</extraJvmArgs>
-          <style>${gwtStyle}</style>
         </configuration>
         <executions>
           <execution>

pom.xml

@@ -55,8 +55,6 @@ limitations under the License.
     <guiceVersion>2.0</guiceVersion>
     <jettyVersion>7.0.1.v20091125</jettyVersion>
 
-    <gwtStyle>OBF</gwtStyle>
-
     <project.build.sourceEncoding>
       UTF-8
     </project.build.sourceEncoding>