Please review simple change: 8007135: tools/launcher/VersionCheck.java failing with new tool jabswitch

[Kumar Srinivasan]

Hi,

Webrev here:

http://cr.openjdk.java.net/~ksrini/8007135/webrev/


Contributed-by: Ragin from the awt team.

Thanks
Kumar