Gtk: set default font so Sans 8, I need more space
Java: use anti-aliasing and Swing GTK+ theme by default