[7u] Request for approval JDK-JDK-8007333: [launcher] removes multiple back slashes

[Kumar Srinivasan]

Hello,

Please approve push of the following changeset to jdk7u-dev/jdk

Bug:
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=8007333

Changeset (no changes):
http://hg.openjdk.java.net/jdk8/tl/jdk/rev/5e769206f036

Discussion:
http://mail.openjdk.java.net/pipermail/core-libs-dev/2013-May/thread.html#17261


Thanks
Kumar