--- a/jdk/src/java.base/share/classes/java/io/ObjectInputStream.java	Fri May 12 14:35:58 2017 -0400
+++ b/jdk/src/java.base/share/classes/java/io/ObjectInputStream.java	Fri May 12 15:15:43 2017 -0400
@@ -216,7 +216,8 @@
  * @see java.io.DataInput
  * @see java.io.ObjectOutputStream
  * @see java.io.Serializable
- * @see <a href="../../../platform/serialization/spec/input.html"> Object Serialization Specification, Section 3, Object Input Classes</a>
+ * @see <a href="{@docRoot}/../specs/serialization/input.html">
+ *     Object Serialization Specification, Section 3, Object Input Classes</a>
  * @since   1.1
  */
 public class ObjectInputStream