/** Gets the Maven to invoke. If null, we pick any random Maven installation. */
public MavenInstallation getMaven() {
for (MavenInstallation i : DESCRIPTOR.getMavenDescriptor().getInstallations()) {
if (mavenName == null || i.getName().equals(mavenName)) return i;
}
return null;
}
