Deprecate execution.setSubscriptions.

pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java

Index: pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
diff --git a/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java b/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
index d1dd58d24db17e64c0e4f0f7111bf873c473fb59..b9ca981982577d01a01b533044ed052bc262e63d 100644
--- a/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
+++ b/pkg/analysis_server/tool/spec/generated/java/types/HoverInformation.java
@@ -89,8 +89,8 @@ public class HoverInformation {
   private final String elementDescription;
 
   /**
-   * A human-readable description of the kind of element being referenced (such as “class” or
-   * “function type alias”). This data is omitted if there is no referenced element.
+   * A human-readable description of the kind of element being referenced (such as "class" or
+   * "function type alias"). This data is omitted if there is no referenced element.
    */
   private final String elementKind;
 
@@ -228,8 +228,8 @@ public class HoverInformation {
   }
 
   /**
-   * A human-readable description of the kind of element being referenced (such as “class” or
-   * “function type alias”). This data is omitted if there is no referenced element.
+   * A human-readable description of the kind of element being referenced (such as "class" or
+   * "function type alias"). This data is omitted if there is no referenced element.
    */
   public String getElementKind() {
     return elementKind;