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

@@ -90,10 +90,12 @@
      *         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,10 +128,11 @@
      *
      * @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,10 +188,11 @@
      *
      * @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,10 +203,11 @@
      *
      * @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,10 +219,11 @@
      * @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,10 +333,12 @@
      * {@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,10 +382,13 @@
      *
      * @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))