diff -r c0d05cf1d19d -r 7577686cc9bd test/jdk/ProblemList.txt
--- a/test/jdk/ProblemList.txt	Tue Oct 02 21:38:54 2018 +0530
+++ b/test/jdk/ProblemList.txt	Tue Oct 02 22:36:08 2018 -0700
@@ -102,7 +102,7 @@
 #  1. Make sure test passes on all platforms with samevm, or mark it othervm
 #  2. Make sure test passes on all platforms when run with it's entire group
 #  3. Make sure both VMs are tested, -server and -client, if possible
-#  4. Use a tool like JPRT or something to verify these results
+#  4. Use your favorite build and test system to verify these results
 #  5. Delete lines in this file, include the changes with your test changes
 #
 # You may need to repeat your testing 2 or even 3 times to verify good