return path;
    }

    /**
     * Returns the timestamp of this dictionary file.
     *
     * @return the timestamp when this dictionary was created or last modified
     */
    public Date getTimestamp() {
        return timestamp;
    }

    /**
     * Sets the dictionary manager for this file and returns this instance.
     *
     * @param dictionaryManager the dictionary manager to set