I found the 3.1 connector at MySQL's site. The tarball includes both source and a jar file, so I just copied the latter into the needed directory in OFBiz and it now connects just fine.