/** @return the actual user agent, or "safari" if "warm up" mode. */ private String getUserAgent() { if (browserShell == null) { return "safari"; } return browserShell.getUserAgentString(); }