From f767413fbe1cc74d66233c9ff5df3895a528b5d5 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Fri, 24 Jan 2014 17:08:55 -0800 Subject: s/FireFox/Firefox/g MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The software’s name is officially spelled “Firefox,” without camel-casing. It’s already spelled that way throughout most of the package, but there were a couple places where camel-casing persisted. --- .../webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java') diff --git a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java index 7e53d06..6450e25 100644 --- a/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java +++ b/src/batchtools/webdrivers/src/main/java/com/galois/fiveui/drivers/Drivers.java @@ -80,7 +80,7 @@ public class Drivers { FirefoxDriver driver; if (null == ffBinaryPath) { System.err - .println("WARNING: Running essentially random version of FireFox!"); + .println("WARNING: Running essentially random version of Firefox!"); System.err.println(" set a path to firefox with -D" + FIREFOX_BIN_PATH + "="); driver = new FirefoxDriver(profile); -- cgit v1.2.3