(Set Eclipse indent to 4)