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