Hmmm, you're right, the folding in eclipse that I saw was for Java files and evidently is part of the JDT, not the Workbench. I stand corrected!