Why is there no 

 +        download_url: http://www.jboss.org/tools/download/dev/4_2_x

?