howto export a WAR file for deployment?

If your readme.txt (i.e. developers.google.com) says to
create a *Java* project in eclipse
how do you deploy a SmartGWT project to a web container/production server?

Eclipse only offers a WAR file export for projects of type *Web* !

[And as I informed you in my first post here
the ant build file doesn't work either: 'ant war']

I'm using SmartClient v10.0p_2015-04-01/EVAL Deployment (expires 2015.05.31_06.33.21),
Firefox 36.0.4 for ubuntu,
Eclipse 4.4 Luna.