bash: more settings to fix java swing font uglIness