To assure Designer is using a JDK and not a JRE, pass -vm <path to java jdk vm> (Executable, Main) to the Eclipse command line. I have a shortcut where I pass mine in.
The formal documentation was limited in the JBDS 4.0 docs. This has been rectified for future releases. It sounds like you already found some blogs that talk about how to expose Teiid as a web service. You can also load the Portfolio Web Service example from Help->Project Examples->Teiid Designer. It has a readme with step-by-step instructions.
Please let me know if you need more insight.
Thanks for the quick response! The -vm argument fixed the "generate war" problem. In my case, my shortcut (on Windows) now has this path:
C:\eclipse-helios-3.6.2\eclipse\eclipse.exe -vm "C:\Program Files\Java\jdk1.6.0_18\bin\javaw.exe"
I don't have a "Help->Project Examples" menu item, so I'm a little confused by that, but I see the Portfolio Web Service example here: http://www.jboss.org/teiiddesigner/downloads/examples so I'll download it and see what I can learn.
Glad you were able to get past the JDK issue. The Portfolio Web Service example on http://www.jboss.org/teiiddesigner/downloads/examples is the same one that is located via Help->Project Examples. Project Examples are only available via JBoss Tools or JBDS. If you have loaded Designer as a standalone plugin, you won't see that menu option.