/** Writes the source name map to 'out'. */
private void addSymbolNameMap(Appendable out) throws IOException {
addNameMap(out, originalNameMap);
}
/** Writes the source name map to 'out'. */
private void addSourceNameMap(Appendable out) throws IOException {
addNameMap(out, sourceFileMap);
}