updates to the analysis server generated spec doc

pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java

Index: pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
diff --git a/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java b/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
index 175d54dd69d8072992a8f8eb25cfc16159213dc9..9a6e235a08016b10479296a4caadb21bf8bb997a 100644
--- a/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
+++ b/pkg/analysis_server/tool/spec/generated/java/AnalysisServer.java
@@ -272,7 +272,7 @@ public interface AnalysisServer {
   /**
    * {@code analysis.updateOptions}
    *
-   * Deprecated: all of the options can be set by users in an analysis options file.
+   * @deprecated: all of the options can be set by users in an analysis options file.
    *
    * Update the options controlling analysis based on the given set of options. Any options that are
    * not included in the analysis options will not be changed. If there are options in the analysis
@@ -483,7 +483,7 @@ public interface AnalysisServer {
   /**
    * {@code execution.setSubscriptions}
    *
-   * Deprecated: the analysis server no longer fires LAUNCH_DATA events.
+   * @deprecated: the analysis server no longer fires LAUNCH_DATA events.
    *
    * Subscribe for services. All previous subscriptions are replaced by the given set of services.
    *