Java: nicer gui.