wFont(String name, int style, int ptsize, vString spec) {
private wFont(String name, int style, int ptsize, vString spec) {
wFont(String name, int style, int ptsize, vString spec) {    super(name, style, ptsize);    this.spec = spec;}