mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
[#693] Fix Windows scripts for install paths with spaces and parentheses (#671)