Eclipse has some interesting indentation bugs...