[Geoserver-users] Mapinfo Datastore

Hello everybody

I'm learning how to use geoserver (a newbie), and I need to use Mapinfo
files in my app. I've followed the instructions of this link
http://geoserver.org/display/GEOSDOC/MapInfo+DataStore

Then, when I go to http://localhost:8080/geoserver/config/data/store.do
and click on the 'New' link, I'm supposed to see the new DataStore
(MIFDataStore) in the combo box, but I have only these 4 options:
- Postgis
- Properties
- Shapefile
- Web feature server

Maybe the new Datastore is one of these (¿Shapefile?)... If not, what
am I doing bad?

Thanks in advance
Jorge

--
"Se de lo que huyo pero ignoro lo que busco" (Molière)