hg: jdk/sandbox: 8215798: Use {@systemProperty} for definition of org.openjdk.java.util.stream.tripwire property

[chris.hegarty at oracle.com]

Changeset: 41af13b70efd
Author:    rriggs
Date:      2019-01-04 12:30 -0500
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/41af13b70efd

8215798: Use {@systemProperty} for definition of org.openjdk.java.util.stream.tripwire property
Reviewed-by: lancea

! src/java.base/share/classes/java/util/Spliterator.java