Florida softball pitching coach Jennifer Rocha leaving for Oklahoma

For years, the Florida Gators have had one of the finest rotations in college softball. If they’re going to have that for years to come, it will be without the woman who developed most of those aces.

Florida pitching coach and associate head coach Jennifer Rocha is leaving for the same positions at Oklahoma, the Gators announced Wednesday, in a release that features both head coach Tim Walton singing Rocha’s praises and Rocha thanking Walton and Florida for her more than a decade in Gainesville.

“Spending 19 of the past 20 years sharing the same dugout with a person I call a true professional and a friend has been a wonderful opportunity.” Head Coach Tim Walton said. “We’ve had many terrific…