title: Jenkins: no tool named M3 found
body: <p>Setting up a Pipeline build in Jenkins (Jenkins 2.7.2), copying the sample script for a git-based build gives: "no tool named M3 found".  The relevant line in the Pipeline script is: </p>
  
  <pre><code>def mvnHome = tool 'M3'
  </code></pre>