Jenkins don't use the jenkins.target nor jenkins.target.maximum profiles any more. Instead it uses either unified.target (whose URLs are mirrored in hudson-settings.xml) or unified.target,maximum (combination of 2 profiles to overrides URL, URL also mirrored in hudson-settings.xml).
The commit that will be pushed is here: https://github.com/mickaelistria/jbosstools-build/commit/5d11770a065544f8c8f5dc77fb68b99b5fd2d20e

Comment it as much as you feel is necessary. I plan to push it by the end of the day (in France).

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets