Yep--confirmed it was autoformatted by eclipse...reverted.