updates to the analysis server generated spec doc

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

 /*
  * Copyright (c) 2015, the Dart project authors.
  *
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  *
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 254 matching lines @@
    * path to a directory on the filesystem.
    *
    * @param files A table mapping the files whose content has changed to a description of the content
    *         change.
    */
   public void analysis_updateContent(Map<String, Object> files, UpdateContentConsumer consumer);
 
   /**
    * {@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
    * options that are not valid, they will be silently ignored.
    *
    * @param options The options that are to be used to control analysis.
    */
   public void analysis_updateOptions(AnalysisOptions options);
 
   /**
@@ skipping 190 matching lines @@
    *
    * @param id The identifier of the execution context in which the URI is to be mapped.
    * @param file The path of the file to be mapped into a URI.
    * @param uri The URI to be mapped into a file path.
    */
   public void execution_mapUri(String id, String file, String uri, MapUriConsumer consumer);
 
   /**
    * {@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.
    *
    * It is an error if any of the elements in the list are not valid services. If there is an error,
    * then the current subscriptions will remain unchanged.
    *
    * @param subscriptions A list of the services being subscribed to.
    */
   public void execution_setSubscriptions(List<String> subscriptions);
 
@@ skipping 105 matching lines @@
    * the response to this request has been sent.
    */
   public void server_shutdown();
 
   /**
    * Start the analysis server.
    */
   public void start() throws Exception;
 
 }