better formatting (4-space indents.)

I'll have to retrain Eclipse to do this itself.
michelle paper
tom changes