reformatted to custom eclipse formatter!