<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    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).<br>
    The commit that will be pushed is here:
    <a class="moz-txt-link-freetext"
href="https://github.com/mickaelistria/jbosstools-build/commit/5d11770a065544f8c8f5dc77fb68b99b5fd2d20e">https://github.com/mickaelistria/jbosstools-build/commit/5d11770a065544f8c8f5dc77fb68b99b5fd2d20e</a><br>
    <br>
    Comment it as much as you feel is necessary. I plan to push it by
    the end of the day (in France).<br>
    <br>
    <div class="moz-signature">-- <br>
      Mickael Istria<br>
      Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,
        by Red Hat</a><br>
      <a href="http://mickaelistria.wordpress.com">My blog</a> - <a
        href="http://twitter.com/mickaelistria">My Tweets</a></div>
  </body>
</html>