Gators seeded fourth in East Regional, going to Orlando