Make WorkspaceFolder.name required according to the spec (eclipse-l…

…sp4j#767)

Fixes eclipse-lsp4j#741.

CHANGELOG.md

@@ -6,6 +6,9 @@ Fixed issues: <https://github.com/eclipse-lsp4j/lsp4j/milestone/29?closed=1>
 
 Breaking API changes:
 
+  * The name field in WorkspaceFolder is no longer optional according to the specification.
+    * See [#741](https://github.com/eclipse-lsp4j/lsp4j/issues/741) for detailed discussion.
+
 Nightly japicmp report: <https://download.eclipse.org/lsp4j/builds/main/japicmp-report/>
 
 ### [v0.21.1 (August 2023)](https://github.com/eclipse-lsp4j/lsp4j/releases/tag/v0.21.1)

org.eclipse.lsp4j/src/main/java/org/eclipse/lsp4j/Protocol.xtend

@@ -7995,20 +7995,17 @@ class WorkspaceFolder {
 	@NonNull String uri
 
 	/**
-	 * The name of the workspace folder. Defaults to the uri's basename.
+	 * The name of the workspace folder. Used to refer to this
+	 * workspace folder in the user interface.
 	 */
-	String name
+	@NonNull String name
 
 	new() {
 	}
 
-	new(@NonNull String uri) {
+	new(@NonNull String uri, @NonNull String name) {
 		this.uri = Preconditions.checkNotNull(uri, 'uri')
-	}
-
-	new(@NonNull String uri, String name) {
-		this(uri)
-		this.name = name
+		this.name = Preconditions.checkNotNull(name, 'name')
 	}
 }