[Mac]Eclipseの字を大きくする

それはそれとして、なんだかEclipseは字が小さくて、プライバシーフィルダー越しだと字がよく読めない。なんでシステムと同じになっていないのかわからないけど、

http://www.karakaram.com/eclipse-font

を見て、eclipse.iniを書き換えたら普通になった。Mac向けの設定みたいだけど、なんでデフォルトはこうなってるんだ？