Used Eclipse source formatting