From 8c296952e1d957782ff7f5e5cff43a60fdc86ab6 Mon Sep 17 00:00:00 2001
From: Alexander Zuev <kizune@openjdk.org>
Date: Tue, 22 Oct 2013 22:18:52 +0400
Subject: [PATCH] 8026873: tools/launcher/VersionCheck.java fails in jprt
 because of jmc.ini

Reviewed-by: ksrini
---
 jdk/test/tools/launcher/VersionCheck.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/jdk/test/tools/launcher/VersionCheck.java b/jdk/test/tools/launcher/VersionCheck.java
index 7373ac5cb29..f43c210a9bf 100644
--- a/jdk/test/tools/launcher/VersionCheck.java
+++ b/jdk/test/tools/launcher/VersionCheck.java
@@ -50,6 +50,7 @@ public class VersionCheck extends TestHelper {
         "javaws",
         "jcontrol",
         "jmc",
+        "jmc.ini",
         "jvisualvm",
         "packager",
         "unpack200",
@@ -74,6 +75,7 @@ public class VersionCheck extends TestHelper {
         "jinfo",
         "jmap",
         "jmc",
+        "jmc.ini",
         "jps",
         "jrunscript",
         "jjs",