Since the mavenized version of build-thirdparty seems to be working fine now, I'd like to remove the old build-thirdparty.xml. If no one has any objections I'll plan to remove this file tomorrow.