Fixing broken link to download JBoss Tools 4.2.0.Final in blog post