.bashrc: Use nicer fonts in Java apps