private String getMassesFilename(String directory, String timestamp) {
        return directory + File.separator
                + GRAMMAR_GRAPH_MASSES_FILENAME_PREFIX
                + timestamp
                + GRAMMAR_GRAPH_OUTPUT_FILE_ENDING;
    }