From bb8a863508ae342e499614458e1f6e39cc3feabd Mon Sep 17 00:00:00 2001
From: Paul Thomson <paulthomson@users.noreply.github.com>
Date: Thu, 29 Nov 2018 13:48:51 +0000
Subject: [PATCH] Fix Reduce Everywhere label -> Preserve Semantics. (#145)

---
 .../main/java/com/graphicsfuzz/server/webui/WebUi.java    | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/server/src/main/java/com/graphicsfuzz/server/webui/WebUi.java b/server/src/main/java/com/graphicsfuzz/server/webui/WebUi.java
index 3a52574c5..39c06909f 100755
--- a/server/src/main/java/com/graphicsfuzz/server/webui/WebUi.java
+++ b/server/src/main/java/com/graphicsfuzz/server/webui/WebUi.java
@@ -1317,9 +1317,9 @@ private void reduce(HttpServletRequest request, HttpServletResponse response)
       args.add("--error-string");
       args.add(errorRegex);
     }
-    final String reduceEverywhere = request.getParameter("preserve-semantics");
-    if (reduceEverywhere != null) {
-      if (reduceEverywhere.equals("on")) {
+    final String preserveSemantics = request.getParameter("preserve-semantics");
+    if (preserveSemantics != null) {
+      if (preserveSemantics.equals("on")) {
         args.add("--preserve-semantics");
       }
     }
@@ -1918,7 +1918,7 @@ private void htmlReductionForm(
         "<table class='reduce_table'>",
         "<tr>",
         "<td align='right' class=''>",
-        "<p class='no_space'>Reduce Everywhere:</p>",
+        "<p class='no_space'>Preserve Semantics:</p>",
         "</td>",
         "<td class='checkbox'>",
         (success