Reformatted with eclipse formatter.