/** 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);
 }