// Instance Methods /////////////////////////////////////////////////////////////////////
- public int fontSize() { return (font == null ? DEFAULT_FONT : font).pointsize; }
+ public final int fontSize() { return font == null ? DEFAULT_FONT.pointsize : font.pointsize; }
/** invoked when a resource needed to render ourselves finishes loading */
public void perform() throws JSExn {