*/
    public void setCookieSpec(final String cookieSpec) {
        this.cookieSpec = cookieSpec;
    }

    /**
     * Sets the user agent string.
     *
     * @param userAgent The user agent string
     */
    public void setUserAgent(final String userAgent) {
        this.userAgent = userAgent;
    }

    /**
     * Sets the proxy host name.
     *

    }

    /**
     * Test printStackTrace functionality
     */
    public void test_printStackTrace() {
        CrawlerSystemException exception = new CrawlerSystemException("Print stack trace test");

        StringWriter stringWriter = new StringWriter();
        PrintWriter printWriter = new PrintWriter(stringWriter);
        exception.printStackTrace(printWriter);

            final File tempDir = File.createTempFile("crawlerDocRoot", "");
            tempDir.delete();
            tempDir.mkdirs();

            final StringBuilder buf = new StringBuilder();
            buf.append("User-agent: *").append('\n');
            buf.append("Disallow: /admin/").append('\n');
            buf.append("Disallow: /websvn/").append('\n');
            final File robotTxtFile = new File(tempDir, "robots.txt");

        final Object obj = get(key);

        final int value;
        if (obj == null) {
            value = defaultValue;
        } else {
            value = Integer.parseInt(obj.toString());
        }

        return value;
    }

    /**
     * Retrieves a setting value as a long.
     * @param key The key of the setting.

            }

            // Check status code condition
            String statusCodeCondition = conditions.get("statusCode");
            if (statusCodeCondition != null) {
                int expectedCode = Integer.parseInt(statusCodeCondition);
                if (responseData.getHttpStatusCode() != expectedCode) {
                    return false;
                }
            }

            return true;
        }

         */
        @Override
        public String getAsString(final Object value) {
            if (value instanceof Date) {
                return DEFAULT_DATE_PRINTER.print(((Date) value).getTime());
            }
            return null;
        }

        /**
         * Converts a string representation of a date to a Timestamp object.
         *