WARNING. Using the builtin 'git worktree' may not be supported by Eclipse (as at Dec 2017), see [https://bugs.eclipse.org/bugs/show_bug.cgi?id=477475 Bug 477475 - git 2.5 worktree support].This has apparently been fixed as of 7 Sep 2024 in JGit 7 see [https://projects.eclipse.org/projects/technology.jgit/releases/7.0.0 Eclipse JGit: Java implementation of Git 7.0.0]