protected void finalize() throws Throwable {
        maybeWarnAboutCleanUp();

        super.finalize();
    }

    public File createFile(String filename, String content, String encoding) throws IOException {
        File dir = createTempDir();
        return createFile(dir, filename, content, encoding);
    }

    }

    private void upgradeFrom13_1() {
        // nothing
    }

    private void upgradeFrom13_2() {
        // nothing
    }

    public static final String LABELS_CREATED_BY = "{labels.createdBy}";

    /** The key of the message: Created Time */
    public static final String LABELS_CREATED_TIME = "{labels.createdTime}";

    /** The key of the message: Depth */
    public static final String LABELS_DEPTH = "{labels.depth}";

    /** The key of the message: Excluded Paths For Crawling */