I need to access spatial data in MySQL database with Geoserver. Official user manual states: just download package, extract it into WEB-INF/lib directory and all will be OK. Instead, just nothing happens - MySQL option doesn't appear when creating new data source, I can't find any relevant messages in logs and Google doesn't provide a hint.
What do I do:
Download MySQL extension, following recommended link. I have Geoserver version 2.4.3 (uses jre7, downloaded recently). Downloaded archive declares to be of version 2.4.3 (and manual specifically states that versions should match).
Unzip archive and copy it contents to [Geoserver installation directory]\webapps\geoserver\WEB-INF\lib (also tried other paths mentioned in the manual and extension readme, though they don't make any sense - result the same).
Restart Geoserver service (also tried rebooting system), than go to Data -> Stores -> Add new store in Geoserver web interface (logged in as admin). Manual states that MySQL option should be there, but it isn't.
As mentioned, I use Geoserver 2.4.3 (latest at current time), OS is Windows 7 x32. Geoserver is installed as a service and starts automatically.
Logging profile of server is set to VERBOSE_LOGGING, no traces of "mysql" are found. System logs don't contain anything but messages from Service Control Manager about service being started/stopped.
Trying to mess with other JARs in the same directory causes Geoserver to fail. There was installed Geoserver 2.1-beta3 some time ago, but current installation is made into different directory.
I'm interested in any advice how to get Geoserver-MySQL combination working, or how to diagnose why it is problematic/impossible.