# HG changeset patch
# User kevinw
# Date 1349043852 -3600
# Node ID fab6fbf427d2f248368e9a1feb3ba1b30a77c8ed
# Parent  d8ce2825b193e85e1c01ca83460d193d8880754e
7200145: runtime/7196045/Test7196045.java fails with No class provided for `main'
Reviewed-by: dholmes, dsamersoff

diff -r d8ce2825b193 -r fab6fbf427d2 test/runtime/7196045/Test7196045.java
--- a/test/runtime/7196045/Test7196045.java	Sat Sep 29 06:40:00 2012 -0400
+++ b/test/runtime/7196045/Test7196045.java	Sun Sep 30 23:24:12 2012 +0100
@@ -26,7 +26,7 @@
  * @test
  * @bug 7196045
  * @summary Possible JVM deadlock in ThreadTimesClosure when using HotspotInternal non-public API.
- * @run main/othervm
+ * @run main/othervm Test7196045
  */
 
 import java.lang.management.ManagementFactory;