Gator softball beats Jacksonville 10-0 (condensed game)