[jboss-dev] build script for the repository

Hi there, I downloaded the jboss 4.2.3 source and tried to build it. I have noticed it is pulling the thirdparty binary files from the jboss repository. I assume the repository is being auto rebuild using some build scripts. Are those build scripts available somewhere? People may want to tweak the source for one of the thirdparty components and build it. In particular, I am interested in rebuilding the thirdparty/jboss/web for the jboss 4.2.3. Thanks! Frank