jdk/test/sun/text/resources/Format/Bug8037343.java
changeset 31263 a81a0af34ca0
parent 24511 5f539eb2a8a6
child 40801 9bf0aafeb2bb
--- a/jdk/test/sun/text/resources/Format/Bug8037343.java	Wed Jun 24 16:08:58 2015 -0700
+++ b/jdk/test/sun/text/resources/Format/Bug8037343.java	Wed Jun 24 16:42:11 2015 -0700
@@ -23,8 +23,9 @@
 
 /*
  * @test
- * @bug 8037343
+ * @bug 8008577 8037343
  * @summary updating dateformat for es_DO
+ * @run main/othervm -Djava.locale.providers=JRE,SPI Bug8037343
  */
 
 import java.text.DateFormat;