bash: more settings to fix java swing font uglyness