Hi Max,
Well, I still think they are... I went here: http://www.jboss.org/tools/download/stable/3_1_GA.html
And then downloaded 'JBoss AS Tools'. 3Mb, with features and plugins folder, as other plugins I've installed before.
But still, I may have made something wrong, and that Eclipse install is empty, so I'll delete it and this time install Tools from site only (I usually avoided that, takes much longer to download).
I'll try it later today, and post the results.
Thanks for your help.