Defensive lineman announced move from Mountaineers to Gators in mid-June. Source: CollegeFootballTalk.com