changed indent to 4, because it conforms to eclipse autoformat