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

[Seán Coffey]

Approved.

regards,
Sean.

On 28/05/2013 18:21, Kumar Srinivasan wrote:
> 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
>