Eclipse formatter, to share between home and workplace, because I'm
lazy.