# HG changeset patch
# User kizune
# Date 1382465932 -14400
# Node ID 9fc34e0b2a47fe37e0c23799104d154fb38174b0
# Parent  6abd31ba3aba6821fe3c9e31f83ec38a5d15a385
8026873: tools/launcher/VersionCheck.java fails in jprt because of jmc.ini
Reviewed-by: ksrini

diff -r 6abd31ba3aba -r 9fc34e0b2a47 jdk/test/tools/launcher/VersionCheck.java
--- a/jdk/test/tools/launcher/VersionCheck.java	Tue Oct 22 12:57:59 2013 -0400
+++ b/jdk/test/tools/launcher/VersionCheck.java	Tue Oct 22 22:18:52 2013 +0400
@@ -50,6 +50,7 @@
         "javaws",
         "jcontrol",
         "jmc",
+        "jmc.ini",
         "jvisualvm",
         "packager",
         "unpack200",
@@ -74,6 +75,7 @@
         "jinfo",
         "jmap",
         "jmc",
+        "jmc.ini",
         "jps",
         "jrunscript",
         "jjs",