Mapping the bitmap font "Times" to non bitmap "Times New Roman"