Suggestion

Change the scope of the setting "maven.executable.path" from machine to machine-overridable?

Use Cases

Since the scope of the setting is machine it can only be set in the user settings and cannot be overridden for a specific workspace. When working on multiple projects (workspaces) with different maven versions it would be helpful if the path to the required maven executable could be set individually.