*/
private FontDefinition changeFontDef(FontDefinition fd) {
if (fd.getFontName().equals(nameOfFont)) {
return fd;
} else {
return new FontDefinition(nameOfFont, fd.getFontSize(), fd.isBold(), fd.isItalic(),
fd.isUnderline(), fd.isStrikeThrough(), fd.getFontEncoding(null), fd.isEmbeddedFont());
}
}//}}}