public void resetNameForHTML(String newName){
  glyphs.fontName=newName;
  glyphs.baseFontName=newName;
}

public void resetNameForHTML ( String newName ) { glyphs . fontName = newName ; glyphs . baseFontName = newName ; }
used by pdf2html to replace unsuitable characters and make sure unique
