Allow projects without path attribute in manifest.

In such case, we use the name attribute as the default value of path.

Change-Id: I53fa312d6b64c6eb2240f08af7d1d60cea99192a
Signed-off-by: Yuxuan 'fishy' Wang <fishywang@google.com>

org.eclipse.jgit/src/org/eclipse/jgit/gitrepo/RepoCommand.java

@@ -288,7 +288,10 @@ public class RepoCommand extends GitCommand<RevCommit> {
 		Project(String name, String path, String revision,
 				String remote, String groups) {
 			this.name = name;
-			this.path = path;
+			if (path != null)
+				this.path = path;
+			else
+				this.path = name;
 			this.revision = revision;
 			this.remote = remote;
 			this.groups = new HashSet<String>();