8215798: Use {@systemProperty} for definition of org.openjdk.java.util.stream.tripwire property
Reviewed-by: lancea
--- a/src/java.base/share/classes/java/util/Spliterator.java Fri Jan 04 11:03:53 2019 -0500
+++ b/src/java.base/share/classes/java/util/Spliterator.java Fri Jan 04 12:30:20 2019 -0500
@@ -284,7 +284,7 @@
* }}</pre>
*
* @implNote
- * If the boolean system property {@code org.openjdk.java.util.stream.tripwire}
+ * If the boolean system property {@systemProperty org.openjdk.java.util.stream.tripwire}
* is set to {@code true} then diagnostic warnings are reported if boxing of
* primitive values occur when operating on primitive subtype specializations.
*