Using a "better" default "Java" font from Aqua in Mac OS X.