src/java.base/share/classes/java/lang/StackTraceElement.java

*** 90,99 ****
--- 90,101 ----
       *         of -2 indicates that the method containing the execution point
       *         is a native method
       * @throws NullPointerException if {@code declaringClass} or
       *         {@code methodName} is null
       * @since 1.5
+      * @revised 9
+      * @spec JPMS
       */
      public StackTraceElement(String declaringClass, String methodName,
                               String fileName, int lineNumber) {
          this(null, null, null, declaringClass, methodName, fileName, lineNumber);
      }
*** 126,135 ****
--- 128,138 ----
       *
       * @throws NullPointerException if {@code declaringClass} is {@code null}
       *         or {@code methodName} is {@code null}
       *
       * @since 9
+      * @spec JPMS
       */
      public StackTraceElement(String classLoaderName,
                               String moduleName, String moduleVersion,
                               String declaringClass, String methodName,
                               String fileName, int lineNumber) {
*** 185,194 ****
--- 188,198 ----
       *
       * @return the module name of the {@code Module} containing the execution
       *         point represented by this stack trace element; {@code null}
       *         if the module name is not available.
       * @since 9
+      * @spec JPMS
       * @see java.lang.reflect.Module#getName()
       */
      public String getModuleName() {
          return moduleName;
      }
*** 199,208 ****
--- 203,213 ----
       *
       * @return the module version of the {@code Module} containing the execution
       *         point represented by this stack trace element; {@code null}
       *         if the module version is not available.
       * @since 9
+      * @spec JPMS
       * @see java.lang.module.ModuleDescriptor.Version
       */
      public String getModuleVersion() {
          return moduleVersion;
      }
*** 214,223 ****
--- 219,229 ----
       * @return the name of the class loader of the class containing the execution
       *         point represented by this stack trace element; {@code null}
       *         if the class loader is not named.
       *
       * @since 9
+      * @spec JPMS
       * @see java.lang.ClassLoader#getName()
       */
      public String getClassLoaderName() {
          return classLoaderName;
      }
*** 327,336 ****
--- 333,344 ----
       * {@linkplain #equals(Object) equal}, for example one created via the
       * constructor, and one obtained from {@link java.lang.Throwable} or
       * {@link java.lang.StackWalker.StackFrame}, where an implementation may
       * choose to omit some element in the returned string.
       *
+      * @revised 9
+      * @spec JPMS
       * @see    Throwable#printStackTrace()
       */
      public String toString() {
          String s = "";
          if (!dropClassLoaderName() && classLoaderName != null &&
*** 374,383 ****
--- 382,394 ----
       *
       * @param  obj the object to be compared with this stack trace element.
       * @return true if the specified object is another
       *         {@code StackTraceElement} instance representing the same
       *         execution point as this instance.
+      *
+      * @revised 9
+      * @spec JPMS
       */
      public boolean equals(Object obj) {
          if (obj==this)
              return true;
          if (!(obj instanceof StackTraceElement))