On my setup the GUI text is anti-aliased. Since I have a hi-res display
it works quite well for me but since I can imagine that other user may
not want anti-aliasing on their machines (perhaps because they have
lower-res displays) and can override the javaOptions array to control
this behavior.