Rob and I were able to verify that the binary patch is working
(apparently reapplying the patch over a currently patched WTP 2.0.2
doesn't work)
I've added and committed the new patch and rolled back our changes to
the seam patch (so jboss-seam.jar is no longer affected). The relevant
build status link is here:
http://hudson.qa.jboss.com/hudson/job/JBoss_Dev_Studio_Release/10/